%0 Conference Paper %1 conf/memocode/ArcherLLMU06 %A Archer, Myla %A Lim, Hongping %A Lynch, Nancy A. %A Mitra, Sayan %A Umeno, Shinya %B MEMOCODE %D 2006 %I IEEE Computer Society %K %P 129-138 %T Specifying and proving properties of timed I/O automata in the TIOA toolkit. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2006.html#ArcherLLMU06 %@ 1-4244-0421-5

@inproceedings{conf/memocode/ArcherLLMU06, added-at = {2023-12-13T08:04:08.000+0100}, author = {Archer, Myla and Lim, Hongping and Lynch, Nancy A. and Mitra, Sayan and Umeno, Shinya}, biburl = {https://www.bibsonomy.org/bibtex/21b51c1fb3a13b2140f6ff8918f847414/admin}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2006}, ee = {http://dl.acm.org/citation.cfm?id=2674369}, interhash = {c060deda94d0ca78e7bc739fdbff83bc}, intrahash = {1b51c1fb3a13b2140f6ff8918f847414}, isbn = {1-4244-0421-5}, keywords = {}, pages = {129-138}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T08:04:08.000+0100}, title = {Specifying and proving properties of timed I/O automata in the TIOA toolkit.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2006.html#ArcherLLMU06}, year = 2006 }