Transformations of Timed Cooperating Automata
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
An evaluation of timed scenario notations
Journal of Systems and Software
Transformations of Timed Cooperating Automata
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Fundamenta Informaticae
Hi-index | 0.00 |