%0 Conference Paper %1 conf/rtcsa/WallSMNY00 %A Wall, Anders %A Sandström, Kristian %A Mäki-Turja, Jukka %A Norström, Christer %A Yi, Wang %B RTCSA %D 2000 %I IEEE Computer Society %K dblp %P 263-270 %T Verifying temporal constraints on data in multi-rate transactions using timed automata. %U http://dblp.uni-trier.de/db/conf/rtcsa/rtcsa2000.html#WallSMNY00 %@ 0-7695-0930-4

@inproceedings{conf/rtcsa/WallSMNY00, added-at = {2023-03-23T00:00:00.000+0100}, author = {Wall, Anders and Sandström, Kristian and Mäki-Turja, Jukka and Norström, Christer and Yi, Wang}, biburl = {https://www.bibsonomy.org/bibtex/2d538d794c2004656a0cf6aa3ff0cdcf8/dblp}, booktitle = {RTCSA}, crossref = {conf/rtcsa/2000}, ee = {https://doi.ieeecomputersociety.org/10.1109/RTCSA.2000.896400}, interhash = {2a390f4451c73fc738c2e18a34781c57}, intrahash = {d538d794c2004656a0cf6aa3ff0cdcf8}, isbn = {0-7695-0930-4}, keywords = {dblp}, pages = {263-270}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:23:25.000+0200}, title = {Verifying temporal constraints on data in multi-rate transactions using timed automata.}, url = {http://dblp.uni-trier.de/db/conf/rtcsa/rtcsa2000.html#WallSMNY00}, year = 2000 }