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

Cached

Download Links

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