%0 Conference Paper %1 conf/services/ShegalovW08 %A Shegalov, German %A Weikum, Gerhard %B SERVICES I %D 2008 %I IEEE Computer Society %K dblp %P 87-90 %T Formal Verification of a Transactional Interaction Contract. %U http://dblp.uni-trier.de/db/conf/services/services2008-1.html#ShegalovW08 %@ 978-0-7695-3286-8

@inproceedings{conf/services/ShegalovW08, added-at = {2023-03-24T00:00:00.000+0100}, author = {Shegalov, German and Weikum, Gerhard}, biburl = {https://www.bibsonomy.org/bibtex/2c5495ff5da9f9b62923f458a1da47958/dblp}, booktitle = {SERVICES I}, crossref = {conf/services/2008-1}, ee = {https://doi.ieeecomputersociety.org/10.1109/SERVICES-1.2008.19}, interhash = {02adc937ecf398d25803d3350c8b8896}, intrahash = {c5495ff5da9f9b62923f458a1da47958}, isbn = {978-0-7695-3286-8}, keywords = {dblp}, pages = {87-90}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:49:06.000+0200}, title = {Formal Verification of a Transactional Interaction Contract.}, url = {http://dblp.uni-trier.de/db/conf/services/services2008-1.html#ShegalovW08}, year = 2008 }