%0 Conference Paper %1 conf/aswec/ToynG07 %A Toyn, Ian %A Galloway, Andy %B ASWEC %D 2007 %I IEEE Computer Society %K %P 181-190 %T Formal Validation of Hierarchical State Machines against Expectations. %U http://dblp.uni-trier.de/db/conf/aswec/aswec2007.html#ToynG07 %@ 0-7695-2778-7

@inproceedings{conf/aswec/ToynG07, added-at = {2023-12-12T20:34:24.000+0100}, author = {Toyn, Ian and Galloway, Andy}, biburl = {https://www.bibsonomy.org/bibtex/20ca09103f29f76638b0d7e0a2e6acf05/admin}, booktitle = {ASWEC}, crossref = {conf/aswec/2007}, ee = {http://doi.ieeecomputersociety.org/10.1109/ASWEC.2007.23}, interhash = {312cbc97c31123e0d701005a68a6853a}, intrahash = {0ca09103f29f76638b0d7e0a2e6acf05}, isbn = {0-7695-2778-7}, keywords = {}, pages = {181-190}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T20:34:24.000+0100}, title = {Formal Validation of Hierarchical State Machines against Expectations.}, url = {http://dblp.uni-trier.de/db/conf/aswec/aswec2007.html#ToynG07}, year = 2007 }