An Overview of the mCRL2 Modelling and Verification Toolset: Invited Presentation at the 6th Workshop on Formal Integrated Development Environment

Saved in:
Bibliographic Details
Published in:Electronic proceedings in theoretical computer science 2021-08, Vol.338, p.1-1
Main Author: Groote, Jan Friso
Format: Article
Language:English
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page 1
container_issue
container_start_page 1
container_title Electronic proceedings in theoretical computer science
container_volume 338
creator Groote, Jan Friso
description
doi_str_mv 10.4204/EPTCS.338.1
format article
fullrecord <record><control><sourceid>crossref</sourceid><recordid>TN_cdi_crossref_primary_10_4204_EPTCS_338_1</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>10_4204_EPTCS_338_1</sourcerecordid><originalsourceid>FETCH-crossref_primary_10_4204_EPTCS_338_13</originalsourceid><addsrcrecordid>eNqVjrsKwjAARYMoWLSTP5BdWvOo2uIkRXFQFC2uIbSJRtpEklLx763i4Opd7hnOcAAYYRRGBEWT1SFLTyGlcYg7wCNoPg0IjlH3h_vAd-6G2tGERMnMA4ulhvtG2EaJBzQS1lcBq_S4JXBnClGWSl8g1wU8C6ukynmtjIaZMaUT9RD0JG_B__4AjNerLN0EuTXOWSHZ3aqK2yfDiL0T2SeRtYkM0__sFywgQUA</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>An Overview of the mCRL2 Modelling and Verification Toolset: Invited Presentation at the 6th Workshop on Formal Integrated Development Environment</title><source>ROAD: Directory of Open Access Scholarly Resources</source><creator>Groote, Jan Friso</creator><creatorcontrib>Groote, Jan Friso</creatorcontrib><identifier>ISSN: 2075-2180</identifier><identifier>EISSN: 2075-2180</identifier><identifier>DOI: 10.4204/EPTCS.338.1</identifier><language>eng</language><ispartof>Electronic proceedings in theoretical computer science, 2021-08, Vol.338, p.1-1</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27924,27925</link.rule.ids></links><search><creatorcontrib>Groote, Jan Friso</creatorcontrib><title>An Overview of the mCRL2 Modelling and Verification Toolset: Invited Presentation at the 6th Workshop on Formal Integrated Development Environment</title><title>Electronic proceedings in theoretical computer science</title><issn>2075-2180</issn><issn>2075-2180</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2021</creationdate><recordtype>article</recordtype><recordid>eNqVjrsKwjAARYMoWLSTP5BdWvOo2uIkRXFQFC2uIbSJRtpEklLx763i4Opd7hnOcAAYYRRGBEWT1SFLTyGlcYg7wCNoPg0IjlH3h_vAd-6G2tGERMnMA4ulhvtG2EaJBzQS1lcBq_S4JXBnClGWSl8g1wU8C6ukynmtjIaZMaUT9RD0JG_B__4AjNerLN0EuTXOWSHZ3aqK2yfDiL0T2SeRtYkM0__sFywgQUA</recordid><startdate>20210806</startdate><enddate>20210806</enddate><creator>Groote, Jan Friso</creator><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>20210806</creationdate><title>An Overview of the mCRL2 Modelling and Verification Toolset</title><author>Groote, Jan Friso</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-crossref_primary_10_4204_EPTCS_338_13</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2021</creationdate><toplevel>online_resources</toplevel><creatorcontrib>Groote, Jan Friso</creatorcontrib><collection>CrossRef</collection><jtitle>Electronic proceedings in theoretical computer science</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Groote, Jan Friso</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>An Overview of the mCRL2 Modelling and Verification Toolset: Invited Presentation at the 6th Workshop on Formal Integrated Development Environment</atitle><jtitle>Electronic proceedings in theoretical computer science</jtitle><date>2021-08-06</date><risdate>2021</risdate><volume>338</volume><spage>1</spage><epage>1</epage><pages>1-1</pages><issn>2075-2180</issn><eissn>2075-2180</eissn><doi>10.4204/EPTCS.338.1</doi></addata></record>
fulltext fulltext
identifier ISSN: 2075-2180
ispartof Electronic proceedings in theoretical computer science, 2021-08, Vol.338, p.1-1
issn 2075-2180
2075-2180
language eng
recordid cdi_crossref_primary_10_4204_EPTCS_338_1
source ROAD: Directory of Open Access Scholarly Resources
title An Overview of the mCRL2 Modelling and Verification Toolset: Invited Presentation at the 6th Workshop on Formal Integrated Development Environment
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-28T18%3A52%3A57IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-crossref&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=An%20Overview%20of%20the%20mCRL2%20Modelling%20and%20Verification%20Toolset:%20Invited%20Presentation%20at%20the%206th%20Workshop%20on%20Formal%20Integrated%20Development%20Environment&rft.jtitle=Electronic%20proceedings%20in%20theoretical%20computer%20science&rft.au=Groote,%20Jan%20Friso&rft.date=2021-08-06&rft.volume=338&rft.spage=1&rft.epage=1&rft.pages=1-1&rft.issn=2075-2180&rft.eissn=2075-2180&rft_id=info:doi/10.4204/EPTCS.338.1&rft_dat=%3Ccrossref%3E10_4204_EPTCS_338_1%3C/crossref%3E%3Cgrp_id%3Ecdi_FETCH-crossref_primary_10_4204_EPTCS_338_13%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true