Email:	peter [dot] drabikiit [dot] cnr [dot] it
Telefono:	+39 050 315 8291
Fax:	+39 050 315 2593
Edificio:	B
Ingresso:	4-7
Piano:	1
Stanza:	B6
URL:	http://www.di.unipi.it/~drabik/

A-Z
A|B|C
D|F|G
H|I|K
L|M|N
O|P|R
S|T|V
W
A-Z

Pubblicazioni

Articolo Convegno

Peter Drabik, Andrea Maggiolo-Schettini, Paolo Milazzo
On Conditions for Modular Verification in Systems of Synchronising Components
2011, Concurrency, Specification, and Programming