(E)-LOTOS: (Enhanced) Language of Temporal Ordering Specification

Authors
Turner, KJ Sighireanu, M
Citation
Kj. Turner et M. Sighireanu, (E)-LOTOS: (Enhanced) Language of Temporal Ordering Specification, FACIT, 2001, pp. 165-190
Categorie Soggetti
Current Book Contents
Journal title
SOFTWARE SPECIFICATION METHODS → ACNP
ISSN journal
14319683
Year of publication
2001
Pages
165 - 190
Database
ISI
SICI code
1431-9683(2001):<165:((LOTO>2.0.ZU;2-5