%0 Conference Paper %1 conf/emsoft/RacletBBCLP09 %A Raclet, Jean-Baptiste %A Badouel, Eric %A Benveniste, Albert %A Caillaud, Benoît %A Legay, Axel %A Passerone, Roberto %B EMSOFT %D 2009 %E Chakraborty, Samarjit %E Halbwachs, Nicolas %I ACM %K dblp %P 87-96 %T Modal interfaces: unifying interface automata and modal specifications. %U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2009.html#RacletBBCLP09 %@ 978-1-60558-627-4

@inproceedings{conf/emsoft/RacletBBCLP09, added-at = {2018-11-06T00:00:00.000+0100}, author = {Raclet, Jean-Baptiste and Badouel, Eric and Benveniste, Albert and Caillaud, Benoît and Legay, Axel and Passerone, Roberto}, biburl = {https://www.bibsonomy.org/bibtex/2ca73d44134407384f72ea49d3299e4b2/dblp}, booktitle = {EMSOFT}, crossref = {conf/emsoft/2009}, editor = {Chakraborty, Samarjit and Halbwachs, Nicolas}, ee = {https://doi.org/10.1145/1629335.1629348}, interhash = {31d3435a3a8daf8e7bd2cfdb62a20bb2}, intrahash = {ca73d44134407384f72ea49d3299e4b2}, isbn = {978-1-60558-627-4}, keywords = {dblp}, pages = {87-96}, publisher = {ACM}, timestamp = {2018-11-07T16:41:55.000+0100}, title = {Modal interfaces: unifying interface automata and modal specifications.}, url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2009.html#RacletBBCLP09}, year = 2009 }