%0 Journal Article %1 traore_00_outline %A Traor'e, Issa %D 2000 %J J. UCS %K pvs semantics statecharts _no_doi uml 2000 %N 11 %P 1088--1108 %T An Outline of PVS Semantics for UML Statecharts %U http://dblp.uni-trier.de/rec/bibtex/journals/jucs/Traore00 %V 6

@article{traore_00_outline, added-at = {2009-02-11T22:20:44.000+0100}, author = {Traor'{e}, Issa}, biburl = {https://www.bibsonomy.org/bibtex/2216039d87e6127ba6bcde92d1a0f61bf/leonardo}, citeulike-article-id = {1967445}, interhash = {416409df4861059af2c18ecd0002feb2}, intrahash = {216039d87e6127ba6bcde92d1a0f61bf}, journal = {J. UCS}, keywords = {pvs semantics statecharts _no_doi uml 2000}, number = 11, pages = {1088--1108}, posted-at = {2007-11-23 16:46:18}, priority = {3}, timestamp = {2009-02-11T22:20:44.000+0100}, title = {An Outline of PVS Semantics for UML Statecharts}, url = {http://dblp.uni-trier.de/rec/bibtex/journals/jucs/Traore00}, volume = 6, year = 2000 }