Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/forte/Hammal05
%A Hammal, Youcef
%B FORTE
%D 2005
%E Wang, Farn
%I Springer
%K dblp
%P 38-52
%T A Formal Semantics of UML StateCharts by Means of Timed Petri Nets.
%U http://dblp.uni-trier.de/db/conf/forte/forte2005.html#Hammal05
%V 3731
%@ 3-540-29189-X
@inproceedings{conf/forte/Hammal05,
added-at = {2019-10-19T00:00:00.000+0200},
author = {Hammal, Youcef},
biburl = {https://www.bibsonomy.org/bibtex/2ff87768a4bb89e6a2e4414ef80bb1e3b/dblp},
booktitle = {FORTE},
crossref = {conf/forte/2005},
editor = {Wang, Farn},
ee = {https://doi.org/10.1007/11562436_5},
interhash = {b16379a543cb65eb5f4af6a742da4538},
intrahash = {ff87768a4bb89e6a2e4414ef80bb1e3b},
isbn = {3-540-29189-X},
keywords = {dblp},
pages = {38-52},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-10-22T14:29:06.000+0200},
title = {A Formal Semantics of UML StateCharts by Means of Timed Petri Nets.},
url = {http://dblp.uni-trier.de/db/conf/forte/forte2005.html#Hammal05},
volume = 3731,
year = 2005
}