%0 Conference Paper %1 conf/facs2/OuederniSB13 %A Ouederni, Meriem %A Salaün, Gwen %A Bultan, Tevfik %B FACS %D 2013 %E Fiadeiro, José Luiz %E Liu, Zhiming %E Xue, Jinyun %I Springer %K dblp %P 310-328 %T Compatibility Checking for Asynchronously Communicating Software. %U http://dblp.uni-trier.de/db/conf/facs2/facs2013.html#OuederniSB13 %V 8348 %@ 978-3-319-07601-0

@inproceedings{conf/facs2/OuederniSB13, added-at = {2017-05-19T00:00:00.000+0200}, author = {Ouederni, Meriem and Salaün, Gwen and Bultan, Tevfik}, biburl = {https://www.bibsonomy.org/bibtex/26bc0c737ea6e28c48d399820a6df4c10/dblp}, booktitle = {FACS}, crossref = {conf/facs2/2013}, editor = {Fiadeiro, José Luiz and Liu, Zhiming and Xue, Jinyun}, ee = {https://doi.org/10.1007/978-3-319-07602-7_19}, interhash = {93c1c949a961bf53acac7d848edb4c4f}, intrahash = {6bc0c737ea6e28c48d399820a6df4c10}, isbn = {978-3-319-07601-0}, keywords = {dblp}, pages = {310-328}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:05:43.000+0200}, title = {Compatibility Checking for Asynchronously Communicating Software.}, url = {http://dblp.uni-trier.de/db/conf/facs2/facs2013.html#OuederniSB13}, volume = 8348, year = 2013 }