An overview and synthesis on timed process algebras (1991)

Cached

Download Links

by Xavier Nicollin , Joseph Sifakis
Citations:140 - 4 self