%0 Conference Paper %1 conf/compos/ChaochenH97 %A Chaochen, Zhou %A Hansen, Michael R. %B COMPOS %D 1997 %E de Roever, Willem P. %E Langmaack, Hans %E Pnueli, Amir %I Springer %K dblp %P 584-608 %T An Adequate First Order Interval Logic. %U http://dblp.uni-trier.de/db/conf/compos/compos1997.html#ChaochenH97 %V 1536 %@ 3-540-65493-3

@inproceedings{conf/compos/ChaochenH97, added-at = {2017-05-23T00:00:00.000+0200}, author = {Chaochen, Zhou and Hansen, Michael R.}, biburl = {https://www.bibsonomy.org/bibtex/238bfb7c6dff13541e78527f97f3ce6fb/dblp}, booktitle = {COMPOS}, crossref = {conf/compos/1997}, editor = {de Roever, Willem P. and Langmaack, Hans and Pnueli, Amir}, ee = {https://doi.org/10.1007/3-540-49213-5_23}, interhash = {1b3ab2fa9802aefe5e91d33ae939da78}, intrahash = {38bfb7c6dff13541e78527f97f3ce6fb}, isbn = {3-540-65493-3}, keywords = {dblp}, pages = {584-608}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:53:07.000+0200}, title = {An Adequate First Order Interval Logic.}, url = {http://dblp.uni-trier.de/db/conf/compos/compos1997.html#ChaochenH97}, volume = 1536, year = 1997 }