%0 Journal Article %1 journals/dafes/ArcherLLMU08 %A Archer, Myla %A Lim, Hongping %A Lynch, Nancy A. %A Mitra, Sayan %A Umeno, Shinya %D 2008 %J Des. Autom. Embed. Syst. %K %N 1-2 %P 139-170 %T Specifying and proving properties of timed I/O automata using Tempo. %U http://dblp.uni-trier.de/db/journals/dafes/dafes12.html#ArcherLLMU08 %V 12

@article{journals/dafes/ArcherLLMU08, added-at = {2023-12-12T21:35:17.000+0100}, author = {Archer, Myla and Lim, Hongping and Lynch, Nancy A. and Mitra, Sayan and Umeno, Shinya}, biburl = {https://www.bibsonomy.org/bibtex/2d37560d20e35cb94fe29d95e6752748f/admin}, ee = {https://doi.org/10.1007/s10617-008-9022-2}, interhash = {4069563d19634f7cd632068a458adbbe}, intrahash = {d37560d20e35cb94fe29d95e6752748f}, journal = {Des. Autom. Embed. Syst.}, keywords = {}, number = {1-2}, pages = {139-170}, timestamp = {2023-12-12T21:35:17.000+0100}, title = {Specifying and proving properties of timed I/O automata using Tempo.}, url = {http://dblp.uni-trier.de/db/journals/dafes/dafes12.html#ArcherLLMU08}, volume = 12, year = 2008 }