%0 Conference Paper %1 conf/apsec/GuelfiM05 %A Guelfi, Nicolas %A Mammar, Amel %B APSEC %D 2005 %I IEEE Computer Society %K dblp %P 283-290 %T A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation. %U http://dblp.uni-trier.de/db/conf/apsec/apsec2005.html#GuelfiM05 %@ 0-7695-2465-6

@inproceedings{conf/apsec/GuelfiM05, added-at = {2023-03-23T00:00:00.000+0100}, author = {Guelfi, Nicolas and Mammar, Amel}, biburl = {https://www.bibsonomy.org/bibtex/208f5f7970876069bc5faa33b0cc7ba55/dblp}, booktitle = {APSEC}, crossref = {conf/apsec/2005}, ee = {https://doi.ieeecomputersociety.org/10.1109/APSEC.2005.7}, interhash = {2dcbfdc3daaf47f0f80cf6bb9d60c872}, intrahash = {08f5f7970876069bc5faa33b0cc7ba55}, isbn = {0-7695-2465-6}, keywords = {dblp}, pages = {283-290}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T09:46:47.000+0200}, title = {A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec2005.html#GuelfiM05}, year = 2005 }