@inproceedings{DBLP:conf/IEEEares/KazhamiakinPP06,
author = {Raman Kazhamiakin and
Paritosh K. Pandya and
Marco Pistore},
title = {Timed Modelling and Analysis in Web Service Compositions},
booktitle = {ARES},
year = {2006},
pages = {840-846},
ee = {http://doi.ieeecomputersociety.org/10.1109/ARES.2006.134},
crossref = {DBLP:conf/IEEEares/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/IEEEares/2006,
title = {Proceedings of the The First International Conference on
Availability, Reliability and Security, ARES 2006, The International
Dependability Conference - Bridging Theory and Practice,
April 20-22 2006, Vienna University of Technology, Austria},
booktitle = {ARES},
publisher = {IEEE Computer Society},
year = {2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}