%0 Conference Paper %1 conf/icdcsw/AndersonF03 %A Anderson, Stuart %A Filipe, Juliana Küster %B ICDCS Workshops %D 2003 %I IEEE Computer Society %K dblp %P 178- %T Guaranteeing Temporal Validity with a Real-Time Logic of Knowledg. %U http://dblp.uni-trier.de/db/conf/icdcsw/icdcsw2003.html#AndersonF03 %@ 0-7695-1921-0

@inproceedings{conf/icdcsw/AndersonF03, added-at = {2023-08-06T00:00:00.000+0200}, author = {Anderson, Stuart and Filipe, Juliana Küster}, biburl = {https://www.bibsonomy.org/bibtex/2c57fc147c23ae54982326187341d5bdf/dblp}, booktitle = {ICDCS Workshops}, crossref = {conf/icdcsw/2003}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICDCSW.2003.1203551}, interhash = {1135ec3b1259fa9671aa558f51ed8b39}, intrahash = {c57fc147c23ae54982326187341d5bdf}, isbn = {0-7695-1921-0}, keywords = {dblp}, pages = {178-}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:01:54.000+0200}, title = {Guaranteeing Temporal Validity with a Real-Time Logic of Knowledg.}, url = {http://dblp.uni-trier.de/db/conf/icdcsw/icdcsw2003.html#AndersonF03}, year = 2003 }