Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo. Dynamic Sync-Programs for Modular Verification of Biological Systems. In Henning Bordihn, Rudolf Freund, Markus Holzer, Thomas Hinze, Martin Kutrib, Friedrich Otto, editors, Second Workshop on Non-Classical Models for Automata and Applications - NCMA 2010, Jena, Germany, August 23 - August 24, 2010. Proceedings. Volume 263 of books@ocg.at, pages 71-83, Austrian Computer Society, 2010.
@inproceedings{DrabikMM10-0,
title = {Dynamic Sync-Programs for Modular Verification of Biological Systems},
author = {Peter Drábik and Andrea Maggiolo-Schettini and Paolo Milazzo},
year = {2010},
researchr = {https://researchr.org/publication/DrabikMM10-0},
cites = {0},
citedby = {0},
pages = {71-83},
booktitle = {Second Workshop on Non-Classical Models for Automata and Applications - NCMA 2010, Jena, Germany, August 23 - August 24, 2010. Proceedings},
editor = {Henning Bordihn and Rudolf Freund and Markus Holzer and Thomas Hinze and Martin Kutrib and Friedrich Otto},
volume = {263},
series = {books@ocg.at},
publisher = {Austrian Computer Society},
isbn = {978-3-85403-263-2},
}