I. Nunes;José Luiz Fiadeiro;Wladyslaw M. Turski
-;-;-
Time in State Machines
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05