Partial Order Reductions for Timed Systems

A4 Conference proceedings

Internal Authors/Editors

Publication Details

List of Authors: Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi
Editors: Davide Sangiorgi, Robert de Simone
Publication year: 1998
Book title: CONCUR'98 Concurrency Theory - 9th International Conference Nice, France, September 8–11, 1998 Proceedings
Title of series: Lecture Notes in Computer Science
Number in series: 1466
Volume number: 1466
Start page: 485
End page: 500
ISBN: 978-3-540-64896-3
eISBN: 978-3-540-68455-8
ISSN: 0302-9743

Last updated on 2020-18-09 at 06:07