%0 Journal Article %1 journals/fac/LatellaMM99 %A Latella, Diego %A Majzik, István %A Massink, Mieke %D 1999 %J Formal Aspects Comput. %K dblp %N 6 %P 637-664 %T Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker. %U http://dblp.uni-trier.de/db/journals/fac/fac11.html#LatellaMM99 %V 11

@article{journals/fac/LatellaMM99, added-at = {2022-05-09T00:00:00.000+0200}, author = {Latella, Diego and Majzik, István and Massink, Mieke}, biburl = {https://www.bibsonomy.org/bibtex/291d7c9a063d8d0e98ea8587542997291/dblp}, ee = {https://doi.org/10.1007/s001659970003}, interhash = {4816c7cf46c22f88576402361592f695}, intrahash = {91d7c9a063d8d0e98ea8587542997291}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 6, pages = {637-664}, timestamp = {2024-04-09T05:37:43.000+0200}, title = {Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac11.html#LatellaMM99}, volume = 11, year = 1999 }