A false history of true concurrency: From Petri to tools

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

6 Scopus citations

Abstract

I briefly review the history of the unfolding approach to model checking.

Original languageEnglish
Title of host publicationModel Checking Software - 17th International SPIN Workshop, Proceedings
Pages180-186
Number of pages7
DOIs
StatePublished - 2010
Event17th International SPIN Workshop on Model Checking Software, SPIN 2010 - Enschede, Netherlands
Duration: 27 Sep 201029 Sep 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6349 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference17th International SPIN Workshop on Model Checking Software, SPIN 2010
Country/TerritoryNetherlands
CityEnschede
Period27/09/1029/09/10

Fingerprint

Dive into the research topics of 'A false history of true concurrency: From Petri to tools'. Together they form a unique fingerprint.

Cite this