%0 Conference Paper %1 conf/iceccs/Sekerinski08 %A Sekerinski, Emil %B ICECCS %D 2008 %I IEEE Computer Society %K %P 7-14 %T Verifying Statecharts with State Invariants. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs2008.html#Sekerinski08 %@ 0-7695-3139-3

@inproceedings{conf/iceccs/Sekerinski08, added-at = {2023-12-13T01:05:02.000+0100}, author = {Sekerinski, Emil}, biburl = {https://www.bibsonomy.org/bibtex/27eb3e69bf01b2d99216e36bc5d48500b/admin}, booktitle = {ICECCS}, crossref = {conf/iceccs/2008}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2008.40}, interhash = {6c91f589289abab47c0124ff66a52d64}, intrahash = {7eb3e69bf01b2d99216e36bc5d48500b}, isbn = {0-7695-3139-3}, keywords = {}, pages = {7-14}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T01:05:02.000+0100}, title = {Verifying Statecharts with State Invariants.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2008.html#Sekerinski08}, year = 2008 }