@inproceedings{3b64bdb81d224ec18f190782ef5f2371,
title = "A false history of true concurrency: From Petri to tools",
abstract = "I briefly review the history of the unfolding approach to model checking.",
author = "Javier Esparza",
year = "2010",
doi = "10.1007/978-3-642-16164-3_13",
language = "English",
isbn = "3642161634",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "180--186",
booktitle = "Model Checking Software - 17th International SPIN Workshop, Proceedings",
note = "17th International SPIN Workshop on Model Checking Software, SPIN 2010 ; Conference date: 27-09-2010 Through 29-09-2010",
}