![Models of computation / Concurrency / Computing / Formal methods / Diagrams / Petri net / Finite automata / Model checking / Analog television / Finite-state machine / Actor model / Information and communications technology Models of computation / Concurrency / Computing / Formal methods / Diagrams / Petri net / Finite automata / Model checking / Analog television / Finite-state machine / Actor model / Information and communications technology](https://www.pdfsearch.io/img/a83ab4c05879f42b208dfc72d3fc40c3.jpg) Date: 2015-12-18 06:55:15Models of computation Concurrency Computing Formal methods Diagrams Petri net Finite automata Model checking Analog television Finite-state machine Actor model Information and communications technology | | DYNAMIC SYNC-PROGRAMS FOR MODULAR VERIFICATION OF BIOLOGICAL SYSTEMS Peter Dr´abik, Andrea Maggiolo-Schettini and Paolo Milazzo Dipartimento di Informatica, Universit`a di PisaAdd to Reading ListSource URL: pages.di.unipi.itDownload Document from Source Website File Size: 187,92 KBShare Document on Facebook
|