Formal Methods in Molecular Biology
Author: | Monika HeinerORCiD, Rainer Breitling, David Gilbert, C. Priami |
---|---|
URL: | http://drops.dagstuhl.de/portals/index.php?semnr=09091 |
Document Type: | Conference Proceeding |
Language: | English |
Year of publication: | 2009 |
Tag: | Petri Nets |
Quelle aus UBICO: | Dagstuhl Seminar Proceedings 09091, 2009, ISSN 1862 - 4405 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenstrukturen und Softwarezuverlässigkeit |
Institution name at the time of publication: | Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Informatik / Datenstrukturen und Softwarezuverlässigkeit |