Modeling and Verification of Stochastic Hybrid Systems Using HIOA
A Case Study on DNA Replication
Publication status
publishedExternal links
Book title
HSSC 10: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and ControlPages / Article No.
Publisher
Association for Computing MachineryEvent
Subject
Sthochastic hybrid systems; Hybrid Input Output Automata; Systems Biology; VerficationOrganisational unit
03751 - Lygeros, John / Lygeros, John
More
Show all metadata
ETH Bibliography
yes
Altmetrics