A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours (1994)

Cached

Download Links

by Luca Aceto , Alan S. A. Jeffrey
Venue:THEORETICAL COMPUTER SCIENCE
Citations:20 - 3 self