C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours.
Luca Aceto
Alan Jeffrey
Published in:
Theor. Comput. Sci. (1995)
Keyphrases
</>
petri net
timed automata
complete axiomatization
discrete event
databases
database design
finite state machines