%0 Conference Paper %1 conf/notere/HlaouiB10 %A Hlaoui, Yousra Bendaly %A Ayed, Leila Jemni Ben %B NOTERE %D 2010 %E Drira, Khalil %E Kacem, Ahmed Hadj %E Jmaiel, Mohamed %I IEEE %K dblp %P 255-260 %T Symbolic model checking supporting formal verification of Grid service workflow models specified by UML activity diagrams. %U http://dblp.uni-trier.de/db/conf/notere/notere2010.html#HlaouiB10 %@ 978-1-4244-7066-2

@inproceedings{conf/notere/HlaouiB10, added-at = {2017-05-26T00:00:00.000+0200}, author = {Hlaoui, Yousra Bendaly and Ayed, Leila Jemni Ben}, biburl = {https://www.bibsonomy.org/bibtex/2d60d0498e42fa10fc00b445851bdc638/dblp}, booktitle = {NOTERE}, crossref = {conf/notere/2010}, editor = {Drira, Khalil and Kacem, Ahmed Hadj and Jmaiel, Mohamed}, ee = {https://doi.org/10.1109/NOTERE.2010.5536654}, interhash = {93ddc49b310e72001da2ba7b1e91563b}, intrahash = {d60d0498e42fa10fc00b445851bdc638}, isbn = {978-1-4244-7066-2}, keywords = {dblp}, pages = {255-260}, publisher = {IEEE}, timestamp = {2017-05-27T13:17:27.000+0200}, title = {Symbolic model checking supporting formal verification of Grid service workflow models specified by UML activity diagrams.}, url = {http://dblp.uni-trier.de/db/conf/notere/notere2010.html#HlaouiB10}, year = 2010 }