@inproceedings{inproceedings, title  = {{Disjunction of LOTOS Specifications.}},

 publisher = {{Chapman & Hall}},

 url = {{http://www.informatik.uni-trier.de/~ley/db/conf/forte/forte1997.html }},

 year = {{1997}},

 month = {{1}},

 author = {{Steen M and Bowman H and Derrick J and Boiten EA}},

 volume = {{107}},

 journal = {{FORTE}},

 pages = {{177-192}},

 note = {{Accessed on 2024/10/23}}}