The Algebra of Timed Processes ATP: Theory and Application (1994)

Cached

Download Links

by Xavier Nicollin , Joseph Sifakis
Venue:INFORMATION AND COMPUTATION
Citations:108 - 4 self