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.
Abstract is missing.