%0 Conference Paper %1 conf/vveis/EleftherakisP08 %A Eleftherakis, George %A Paunovski, Ognen %B MSVVEIS %D 2008 %E Ultes-Nitsche, Ulrich %E Moldt, Daniel %E Augusto, Juan Carlos %I INSTICC PRESS %K dblp %P 180-189 %T Integrating Formal Approaches and Simulation to Improve Reliability and Correctness of Web Services. %U http://dblp.uni-trier.de/db/conf/vveis/msvveis2008.html#EleftherakisP08 %@ 978-989-8111-43-2

@inproceedings{conf/vveis/EleftherakisP08, added-at = {2008-08-18T00:00:00.000+0200}, author = {Eleftherakis, George and Paunovski, Ognen}, biburl = {https://www.bibsonomy.org/bibtex/289ea6b7a7c4022c963479c699d34289a/dblp}, booktitle = {MSVVEIS}, crossref = {conf/vveis/2008}, date = {2008-08-18}, description = {dblp}, editor = {Ultes-Nitsche, Ulrich and Moldt, Daniel and Augusto, Juan Carlos}, interhash = {6a2376716b1a40a226165858dabe6e98}, intrahash = {89ea6b7a7c4022c963479c699d34289a}, isbn = {978-989-8111-43-2}, keywords = {dblp}, pages = {180-189}, publisher = {INSTICC PRESS}, timestamp = {2008-08-19T11:54:27.000+0200}, title = {Integrating Formal Approaches and Simulation to Improve Reliability and Correctness of Web Services.}, url = {http://dblp.uni-trier.de/db/conf/vveis/msvveis2008.html#EleftherakisP08}, year = 2008 }