Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/icsoft/AyedHH10
@inproceedings{DBLP:conf/icsoft/AyedHH10, author = {Leila Jemni Ben Ayed and Najet Hamdi and Yousra Bendaly Hlaoui}, editor = {Jos{\'{e}} A. Moinhos Cordeiro and Maria Virvou and Boris Shishkov}, title = {An {UML} Activities Diagrams Translation into Event {B} Supporting the Specification and the Verification of Workflow Application Models - From {UML} Activities Diagrams to Event {B}}, booktitle = {{ICSOFT} 2010 - Proceedings of the Fifth International Conference on Software and Data Technologies, Volume 2, Athens, Greece, July 22-24, 2010}, pages = {329--332}, publisher = {SciTePress}, year = {2010}, timestamp = {Thu, 28 Apr 2011 13:30:04 +0200}, biburl = {https://dblp.org/rec/conf/icsoft/AyedHH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.