%0 Conference Paper %1 conf/sefm/FlakeM04 %A Flake, Stephan %A Müller, Wolfgang %B SEFM %D 2004 %I IEEE Computer Society %K %P 154-163 %T Past- and Future-Oriented Time-Bounded Temporal Properties with OCL. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2004.html#FlakeM04 %@ 0-7695-2222-X

@inproceedings{conf/sefm/FlakeM04, added-at = {2023-12-13T03:21:32.000+0100}, author = {Flake, Stephan and Müller, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/2155ca8e68a9cb1092a205e6403d6485a/admin}, booktitle = {SEFM}, crossref = {conf/sefm/2004}, ee = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.29}, interhash = {8a9271da2c38e3e50f997f0d10ea5b5b}, intrahash = {155ca8e68a9cb1092a205e6403d6485a}, isbn = {0-7695-2222-X}, keywords = {}, pages = {154-163}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T03:21:32.000+0100}, title = {Past- and Future-Oriented Time-Bounded Temporal Properties with OCL.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2004.html#FlakeM04}, year = 2004 }