%0 Journal Article %1 journals/dsonline/DrusinskySD07 %A Drusinsky, Doron %A tak Shing, Man %A Demir, Kadir Alpaslan %D 2007 %J IEEE Distributed Syst. Online %K dblp %N 5 %T Creating and Validating Embedded Assertion Statecharts. %U http://dblp.uni-trier.de/db/journals/dsonline/dsonline8.html#DrusinskySD07 %V 8

@article{journals/dsonline/DrusinskySD07, added-at = {2022-06-13T00:00:00.000+0200}, author = {Drusinsky, Doron and tak Shing, Man and Demir, Kadir Alpaslan}, biburl = {https://www.bibsonomy.org/bibtex/2285cfc9aa823f7dfaff5bf1664439055/dblp}, ee = {https://doi.ieeecomputersociety.org/10.1109/MDSO.2007.25}, interhash = {267951d30aeef4d12501b988a2bdeb6b}, intrahash = {285cfc9aa823f7dfaff5bf1664439055}, journal = {IEEE Distributed Syst. Online}, keywords = {dblp}, number = 5, timestamp = {2024-04-09T07:16:37.000+0200}, title = {Creating and Validating Embedded Assertion Statecharts.}, url = {http://dblp.uni-trier.de/db/journals/dsonline/dsonline8.html#DrusinskySD07}, volume = 8, year = 2007 }