Statechart Verification with iState. Le, D. T. M., Sekerinski, E., & West, S. In FM 2006: Formal Methods–Posters and Research Tools, pages 1–6, Hamilton, Ontario, Canada, August, 2006. McMaster University.
![Statechart Verification with iState [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex 2 downloads
Paper bibtex 2 downloads @inproceedings{LeSekerinskiWest06StatechartVerification,
address = {Hamilton, Ontario, Canada},
title = {Statechart {Verification} with {iState}},
url = {http://fm06.mcmaster.ca/istate.pdf},
booktitle = {{FM} 2006: {Formal} {Methods}–{Posters} and {Research} {Tools}},
publisher = {McMaster University},
author = {Le, Dai Tri Man and Sekerinski, Emil and West, Scott},
editor = {Chechik, Marsha},
month = aug,
year = {2006},
pages = {1--6},
}Downloads: 2
{"_id":"42NEv5fjNhrh6Yg9t","bibbaseid":"le-sekerinski-west-statechartverificationwithistate-2006","author_short":["Le, D. T. M.","Sekerinski, E.","West, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Hamilton, Ontario, Canada","title":"Statechart Verification with iState","url":"http://fm06.mcmaster.ca/istate.pdf","booktitle":"FM 2006: Formal Methods–Posters and Research Tools","publisher":"McMaster University","author":[{"propositions":[],"lastnames":["Le"],"firstnames":["Dai","Tri","Man"],"suffixes":[]},{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]},{"propositions":[],"lastnames":["West"],"firstnames":["Scott"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Chechik"],"firstnames":["Marsha"],"suffixes":[]}],"month":"August","year":"2006","pages":"1–6","bibtex":"@inproceedings{LeSekerinskiWest06StatechartVerification,\n\taddress = {Hamilton, Ontario, Canada},\n\ttitle = {Statechart {Verification} with {iState}},\n\turl = {http://fm06.mcmaster.ca/istate.pdf},\n\tbooktitle = {{FM} 2006: {Formal} {Methods}–{Posters} and {Research} {Tools}},\n\tpublisher = {McMaster University},\n\tauthor = {Le, Dai Tri Man and Sekerinski, Emil and West, Scott},\n\teditor = {Chechik, Marsha},\n\tmonth = aug,\n\tyear = {2006},\n\tpages = {1--6},\n}\n\n","author_short":["Le, D. T. M.","Sekerinski, E.","West, S."],"editor_short":["Chechik, M."],"key":"LeSekerinskiWest06StatechartVerification","id":"LeSekerinskiWest06StatechartVerification","bibbaseid":"le-sekerinski-west-statechartverificationwithistate-2006","role":"author","urls":{"Paper":"http://fm06.mcmaster.ca/istate.pdf"},"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"inproceedings","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","RfxodDQazHHccThPz","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["statechart","verification","istate","le","sekerinski","west"],"title":"Statechart Verification with iState","year":2006,"downloads":2}