%0 Conference Paper %1 conf/asian/IsobeSO98 %A Isobe, Yoshinao %A Sato, Yutaka %A Ohmaki, Kazuhito %B ASIAN %D 1998 %E Hsiang, Jieh %E Ohori, Atsushi %I Springer %K dblp %P 263-281 %T Eventuality in LOTOS with a Disjunction Operator. %U http://dblp.uni-trier.de/db/conf/asian/asian98.html#IsobeSO98 %V 1538 %@ 3-540-65388-0

@inproceedings{conf/asian/IsobeSO98, added-at = {2017-05-23T00:00:00.000+0200}, author = {Isobe, Yoshinao and Sato, Yutaka and Ohmaki, Kazuhito}, biburl = {https://www.bibsonomy.org/bibtex/25cb24e2153e14d00756602d525a8ff58/dblp}, booktitle = {ASIAN}, crossref = {conf/asian/1998}, editor = {Hsiang, Jieh and Ohori, Atsushi}, ee = {https://doi.org/10.1007/3-540-49366-2_20}, interhash = {5abf5c0e8f3db36d460a2a8b666e15cf}, intrahash = {5cb24e2153e14d00756602d525a8ff58}, isbn = {3-540-65388-0}, keywords = {dblp}, pages = {263-281}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:18:47.000+0200}, title = {Eventuality in LOTOS with a Disjunction Operator.}, url = {http://dblp.uni-trier.de/db/conf/asian/asian98.html#IsobeSO98}, volume = 1538, year = 1998 }