%0 Conference Paper %1 conf/sbia/AbeA00 %A Abe, Jair Minoro %A Akama, Seiki %B IBERAMIA-SBIA %D 2000 %E Monard, Maria Carolina %E Sichman, Jaime Simão %I Springer %K dblp %P 217-226 %T Annotated Temporal Logics Delta*tau. %U http://dblp.uni-trier.de/db/conf/sbia/sbia2000.html#AbeA00 %V 1952 %@ 3-540-41276-X

@inproceedings{conf/sbia/AbeA00, added-at = {2017-05-17T00:00:00.000+0200}, author = {Abe, Jair Minoro and Akama, Seiki}, biburl = {https://www.bibsonomy.org/bibtex/2614494469f6793cef5f035cdacc865ef/dblp}, booktitle = {IBERAMIA-SBIA}, crossref = {conf/sbia/2000}, editor = {Monard, Maria Carolina and Sichman, Jaime Simão}, ee = {https://doi.org/10.1007/3-540-44399-1_23}, interhash = {f0b5d577483e83718605fc824d5db02d}, intrahash = {614494469f6793cef5f035cdacc865ef}, isbn = {3-540-41276-X}, keywords = {dblp}, pages = {217-226}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:35:51.000+0200}, title = {Annotated Temporal Logics Delta*tau.}, url = {http://dblp.uni-trier.de/db/conf/sbia/sbia2000.html#AbeA00}, volume = 1952, year = 2000 }