Browse by Person (creator, editor, contributor, etc.)
Number of items: 1. Conference or workshop item
|
Steen, M.W.A. and Bowman, H. and Derrick, J. and Boiten, E.A.
(1997)
Disjunction of LOTOS specifications.
In: Mizuno, T. and Shiratori, N. and Higashino, T. and Togashi, A., eds.
IFIP Conference Proceedings; Vol. 107.
Chapman & Hall, Osaka, Japan
pp. 177-192.
ISBN 0-412-82060-9 .
|
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)  Preview |
|
This list was generated on Tue May 21 06:39:09 2013 BST.
|