DYNAMIC SYNC-PROGRAMS FOR MODULAR VERIFICATION OF BIOLOGICAL SYSTEMS Peter Dr´abik, Andrea Maggiolo-Schettini and Paolo Milazzo Dipartimento di Informatica, Universit`a di Pisa

First Page		Document Content
Date: 2015-12-18 06:55:15 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		DYNAMIC SYNC-PROGRAMS FOR MODULAR VERIFICATION OF BIOLOGICAL SYSTEMS Peter Dr´abik, Andrea Maggiolo-Schettini and Paolo Milazzo Dipartimento di Informatica, Universit`a di Pisa Add to Reading List Source URL: pages.di.unipi.it Download Document from Source Website File Size: 187,92 KB Share Document on Facebook

	Unemployment, Conflicts and Partnership Stability: An Application of an Actor-Partner Interdependence Model (First Results) Bernd Weißa, Katharina Lotera,b & Michael Wagnera aInstitute DocID: 1s8DQ - View Document
	BritishLanthorn: Ubiquitous Homogeneous Cooperative Symmetries Ike Antkare International Institute of Technology United Slates of Earth DocID: 1ru6U - View Document
	Modular Flexible Models for Operating Systems Ike Antkaretoo International Institute of Technology United Slates of Earth DocID: 1rsRD - View Document
	The Influence of Compact Epistemologies on Cyberinformatics Ike Antkare International Institute of Technology United Slates of Earth DocID: 1rsvX - View Document
	PADTAD 2012 Curriculum for software development with concurrency - Jeremy S. Bradbury, João M. Lourenço, Ok-Kyoon Ha, In-Bon Kuh, Yong-Kee Jun Funding provided by: Concurrency – Education DocID: 1rqUv - View Document