Inproceedings,
Model checking service compositions under resource constraints.
H. Foster, W. Emmerich, J. Kramer, J. Magee, D. Rosenblum, and S. Uchitel.ESEC/SIGSOFT FSE, page 225-234. ACM, (2007)
Meta data
- BibTeX key
- conf/sigsoft/FosterEKMRU07
- entry type
- inproceedings
- booktitle
- ESEC/SIGSOFT FSE
- year
- 2007
- pages
- 225-234
- publisher
- ACM
- crossref
- conf/sigsoft/2007
- ee
- https://doi.org/10.1145/1287624.1287657
- isbn
- 978-1-59593-811-4
- url
- http://dblp.uni-trier.de/db/conf/sigsoft/fse2007.html#FosterEKMRU07
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sigsoft/FosterEKMRU07
%A Foster, Howard
%A Emmerich, Wolfgang
%A Kramer, Jeff
%A Magee, Jeff
%A Rosenblum, David S.
%A Uchitel, Sebastián
%B ESEC/SIGSOFT FSE
%D 2007
%E Crnkovic, Ivica
%E Bertolino, Antonia
%I ACM
%K
%P 225-234
%T Model checking service compositions under resource constraints.
%U http://dblp.uni-trier.de/db/conf/sigsoft/fse2007.html#FosterEKMRU07
%@ 978-1-59593-811-4
@inproceedings{conf/sigsoft/FosterEKMRU07,
added-at = {2023-12-12T23:11:24.000+0100},
author = {Foster, Howard and Emmerich, Wolfgang and Kramer, Jeff and Magee, Jeff and Rosenblum, David S. and Uchitel, Sebastián},
biburl = {https://www.bibsonomy.org/bibtex/2f044b9246c370d64c763f89f18323598/admin},
booktitle = {ESEC/SIGSOFT FSE},
crossref = {conf/sigsoft/2007},
editor = {Crnkovic, Ivica and Bertolino, Antonia},
ee = {https://doi.org/10.1145/1287624.1287657},
interhash = {530f96671dd3e9f1c677a3f71d0f29b6},
intrahash = {f044b9246c370d64c763f89f18323598},
isbn = {978-1-59593-811-4},
keywords = {},
pages = {225-234},
publisher = {ACM},
timestamp = {2023-12-12T23:11:24.000+0100},
title = {Model checking service compositions under resource constraints.},
url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2007.html#FosterEKMRU07},
year = 2007
}