%0 Conference Paper %1 conf/fmoods/RenaultHK08 %A Renault, Xavier %A Hugues, Jérôme %A Kordon, Fabrice %B FMOODS %D 2008 %E Barthe, Gilles %E de Boer, Frank S. %I Springer %K dblp %P 185-200 %T Formal Modeling of a Generic Middleware to Ensure Invariant Properties. %U http://dblp.uni-trier.de/db/conf/fmoods/fmoods2008.html#RenaultHK08 %V 5051 %@ 978-3-540-68862-4

@inproceedings{conf/fmoods/RenaultHK08, added-at = {2018-06-26T00:00:00.000+0200}, author = {Renault, Xavier and Hugues, Jérôme and Kordon, Fabrice}, biburl = {https://www.bibsonomy.org/bibtex/261bdb276bcf9a506190774719a62ce6b/dblp}, booktitle = {FMOODS}, crossref = {conf/fmoods/2008}, editor = {Barthe, Gilles and de Boer, Frank S.}, ee = {https://doi.org/10.1007/978-3-540-68863-1_12}, interhash = {c695c1d68c31bcd09376fed6bf9b8e3c}, intrahash = {61bdb276bcf9a506190774719a62ce6b}, isbn = {978-3-540-68862-4}, keywords = {dblp}, pages = {185-200}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:30:12.000+0200}, title = {Formal Modeling of a Generic Middleware to Ensure Invariant Properties.}, url = {http://dblp.uni-trier.de/db/conf/fmoods/fmoods2008.html#RenaultHK08}, volume = 5051, year = 2008 }