%0 Conference Paper %1 conf/isorc/WangTBGI00 %A Wang, Yunming %A Talpin, Jean-Pierre %A Benveniste, Albert %A Guernic, Paul Le %B ISORC %D 2000 %I IEEE Computer Society %K dblp %P 96-103 %T A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems. %U http://dblp.uni-trier.de/db/conf/isorc/isorc2000.html#WangTBGI00 %@ 0-7695-0607-0

@inproceedings{conf/isorc/WangTBGI00, added-at = {2023-03-24T00:00:00.000+0100}, author = {Wang, Yunming and Talpin, Jean-Pierre and Benveniste, Albert and Guernic, Paul Le}, biburl = {https://www.bibsonomy.org/bibtex/2a78f8b525246745bfe5dc390260f0c29/dblp}, booktitle = {ISORC}, crossref = {conf/isorc/2000}, ee = {https://doi.ieeecomputersociety.org/10.1109/ISORC.2000.839516}, interhash = {3fcdec0671c2d431d7a64ea7966d51a3}, intrahash = {a78f8b525246745bfe5dc390260f0c29}, isbn = {0-7695-0607-0}, keywords = {dblp}, pages = {96-103}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T13:14:59.000+0200}, title = {A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems.}, url = {http://dblp.uni-trier.de/db/conf/isorc/isorc2000.html#WangTBGI00}, year = 2000 }