@inproceedings{DBLP:conf/iceccs/Sekerinski08,
  author    = {Emil Sekerinski},
  title     = {Verifying Statecharts with State Invariants},
  booktitle = {13th International Conference on Engineering of Complex Computer Systems
               {(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
  pages     = {7--14},
  year      = {2008},
  crossref  = {DBLP:conf/iceccs/2008},
  url       = {https://doi.org/10.1109/ICECCS.2008.40},
  doi       = {10.1109/ICECCS.2008.40},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/Sekerinski08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"FjZ3yP4ubSqP3hDM6","bibbaseid":"sekerinski-verifyingstatechartswithstateinvariants-2008","downloads":0,"creationDate":"2019-02-02T15:48:53.590Z","title":"Verifying Statecharts with State Invariants","author_short":["Sekerinski, E."],"year":2008,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/s/Sekerinski:Emil","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Emil"],"propositions":[],"lastnames":["Sekerinski"],"suffixes":[]}],"title":"Verifying Statecharts with State Invariants","booktitle":"13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland","pages":"7–14","year":"2008","crossref":"DBLP:conf/iceccs/2008","url":"https://doi.org/10.1109/ICECCS.2008.40","doi":"10.1109/ICECCS.2008.40","timestamp":"Fri, 26 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/conf/iceccs/Sekerinski08","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/iceccs/Sekerinski08,\n author = {Emil Sekerinski},\n title = {Verifying Statecharts with State Invariants},\n booktitle = {13th International Conference on Engineering of Complex Computer Systems\n {(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},\n pages = {7--14},\n year = {2008},\n crossref = {DBLP:conf/iceccs/2008},\n url = {https://doi.org/10.1109/ICECCS.2008.40},\n doi = {10.1109/ICECCS.2008.40},\n timestamp = {Fri, 26 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/conf/iceccs/Sekerinski08},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Sekerinski, E."],"key":"DBLP:conf/iceccs/Sekerinski08","id":"DBLP:conf/iceccs/Sekerinski08","bibbaseid":"sekerinski-verifyingstatechartswithstateinvariants-2008","role":"author","urls":{"Paper":"https://doi.org/10.1109/ICECCS.2008.40"},"downloads":0},"search_terms":["verifying","statecharts","state","invariants","sekerinski"],"keywords":[],"authorIDs":[],"dataSources":["fDYYrPxpzcyDvQK6b"]}