%0 Conference Paper %1 conf/saint/JansenYH06 %A Jansen, Erwin %A Yang, Hen-I %A Helal, Sumi %B SAINT %D 2006 %I IEEE Computer Society %K dblp %P 180-189 %T Automated Verification of Proper Choreography Implementation. %U http://dblp.uni-trier.de/db/conf/saint/saint2006.html#JansenYH06 %@ 0-7695-2508-3

@inproceedings{conf/saint/JansenYH06, added-at = {2023-03-23T00:00:00.000+0100}, author = {Jansen, Erwin and Yang, Hen-I and Helal, Sumi}, biburl = {https://www.bibsonomy.org/bibtex/273a6c4168418844c9cf82eed09ac4896/dblp}, booktitle = {SAINT}, crossref = {conf/saint/2006}, ee = {https://doi.ieeecomputersociety.org/10.1109/SAINT.2006.16}, interhash = {dae418710da8faf9edeefc8762f088c8}, intrahash = {73a6c4168418844c9cf82eed09ac4896}, isbn = {0-7695-2508-3}, keywords = {dblp}, pages = {180-189}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:17:08.000+0200}, title = {Automated Verification of Proper Choreography Implementation.}, url = {http://dblp.uni-trier.de/db/conf/saint/saint2006.html#JansenYH06}, year = 2006 }