%0 Conference Paper %1 conf/wsfm/HalleVCTG07 %A Hallé, Sylvain %A Villemaire, Roger %A Cherkaoui, Omar %A Tremblay, Jérôme %A Ghandour, Boubker %B WS-FM %D 2007 %E Dumas, Marlon %E Heckel, Reiko %I Springer %K dblp %P 31-45 %T Extending Model Checking to Data-Aware Temporal Properties of Web Services. %U http://dblp.uni-trier.de/db/conf/wsfm/wsfm2007.html#HalleVCTG07 %V 4937 %@ 978-3-540-79229-1

@inproceedings{conf/wsfm/HalleVCTG07, added-at = {2019-10-19T00:00:00.000+0200}, author = {Hallé, Sylvain and Villemaire, Roger and Cherkaoui, Omar and Tremblay, Jérôme and Ghandour, Boubker}, biburl = {https://www.bibsonomy.org/bibtex/223a1eeccb3b0dea249755d3c806b943e/dblp}, booktitle = {WS-FM}, crossref = {conf/wsfm/2007}, editor = {Dumas, Marlon and Heckel, Reiko}, ee = {https://doi.org/10.1007/978-3-540-79230-7_3}, interhash = {2984065c912245245bce36ad3dae2593}, intrahash = {23a1eeccb3b0dea249755d3c806b943e}, isbn = {978-3-540-79229-1}, keywords = {dblp}, pages = {31-45}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T15:16:17.000+0200}, title = {Extending Model Checking to Data-Aware Temporal Properties of Web Services.}, url = {http://dblp.uni-trier.de/db/conf/wsfm/wsfm2007.html#HalleVCTG07}, volume = 4937, year = 2007 }