Number of items: 1.
|
Bowman, H. and Derrick, J.
(1997)
Extending LOTOS with Time: True Concurrency Perspective.
In: Bertran, Miquel and Rus, Teodor, eds.
Transformation-Based Reactive Systems Development.
Lecture Notes in Computer Science, 1231.
Springer-Verlag
pp. 382-399.
ISBN 3-540-63010-4 .
The full text of this publication is not available from this repository.
|
|
This list was generated on Wed Jun 19 09:58:32 2013 BST.
