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
|