External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Dynamic Sync-Programs for Modular Verification of Biological Systems

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.

Authors

Peter Drábik

This author has not been identified. Look up 'Peter Drábik' in Google

Andrea Maggiolo-Schettini

This author has not been identified. Look up 'Andrea Maggiolo-Schettini' in Google

Paolo Milazzo

This author has not been identified. Look up 'Paolo Milazzo' in Google
runs on