%0 Conference Paper %1 conf/caise/FaresBF11 %A Fares, Elie %A Bodeveix, Jean-Paul %A Filali, Mamoun %B BMMDS/EMMSAD %D 2011 %E Halpin, Terry A. %E Nurcan, Selmin %E Krogstie, John %E Soffer, Pnina %E Proper, Erik %E Schmidt, Rainer %E Bider, Ilia %I Springer %K dblp %P 261-275 %T Verification of Timed BPEL 2.0 Models. %U http://dblp.uni-trier.de/db/conf/caise/bpmds2011.html#FaresBF11 %V 81 %@ 978-3-642-21758-6

@inproceedings{conf/caise/FaresBF11, added-at = {2017-05-24T00:00:00.000+0200}, author = {Fares, Elie and Bodeveix, Jean-Paul and Filali, Mamoun}, biburl = {https://www.bibsonomy.org/bibtex/2251f21798500a427d4b46b6c6e50232e/dblp}, booktitle = {BMMDS/EMMSAD}, crossref = {conf/caise/2011bpmds}, editor = {Halpin, Terry A. and Nurcan, Selmin and Krogstie, John and Soffer, Pnina and Proper, Erik and Schmidt, Rainer and Bider, Ilia}, ee = {https://doi.org/10.1007/978-3-642-21759-3_19}, interhash = {5e0d3ff22d66ab49885e1958d8378d73}, intrahash = {251f21798500a427d4b46b6c6e50232e}, isbn = {978-3-642-21758-6}, keywords = {dblp}, pages = {261-275}, publisher = {Springer}, series = {Lecture Notes in Business Information Processing}, timestamp = {2024-04-09T17:05:35.000+0200}, title = {Verification of Timed BPEL 2.0 Models.}, url = {http://dblp.uni-trier.de/db/conf/caise/bpmds2011.html#FaresBF11}, volume = 81, year = 2011 }