Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginter...
Models and Languages.- Decision Problems for Timed Automata: A Survey.- Timed Petri Nets: Efficie...
This volume was published in honor of Rocco De Nicoläs 65th birthday. The Festschrift volume cont...
This book constitutes the revised selected proceedings from the 5th International Conference on S...