%0 Journal Article %1 journals/ase/ArcherHR02 %A Archer, Myla %A Heitmeyer, Constance L. %A Riccobene, Elvinia %D 2002 %J Autom. Softw. Eng. %K dblp %N 3 %P 201-232 %T Proving Invariants of I/O Automata with TAME. %U http://dblp.uni-trier.de/db/journals/ase/ase9.html#ArcherHR02 %V 9

@article{journals/ase/ArcherHR02, added-at = {2011-05-18T00:00:00.000+0200}, author = {Archer, Myla and Heitmeyer, Constance L. and Riccobene, Elvinia}, biburl = {https://www.bibsonomy.org/bibtex/2b779c2a2cdd0278bd9e1d49cd523b19b/dblp}, ee = {http://dx.doi.org/10.1023/A:1016320523091}, interhash = {a8eb2e2d0c05b7a41b3b2263ae4b1af1}, intrahash = {b779c2a2cdd0278bd9e1d49cd523b19b}, journal = {Autom. Softw. Eng.}, keywords = {dblp}, number = 3, pages = {201-232}, timestamp = {2011-05-19T11:38:42.000+0200}, title = {Proving Invariants of I/O Automata with TAME.}, url = {http://dblp.uni-trier.de/db/journals/ase/ase9.html#ArcherHR02}, volume = 9, year = 2002 }