%0 Conference Paper %1 conf/csdm/LambolaisCLP15 %A Lambolais, Thomas %A Courbis, Anne-Lise %A Luong, Hong-Viet %A Phan, Thanh-Liem %B CSDM %D 2015 %E Auvray, Gérard %E Bocquet, Jean-Claude %E Bonjour, Eric %E Krob, Daniel %I Springer %K %P 69-81 %T Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction. %U http://dblp.uni-trier.de/db/conf/csdm/csdm2015.html#LambolaisCLP15 %@ 978-3-319-26109-6

@inproceedings{conf/csdm/LambolaisCLP15, added-at = {2023-12-13T02:24:34.000+0100}, author = {Lambolais, Thomas and Courbis, Anne-Lise and Luong, Hong-Viet and Phan, Thanh-Liem}, biburl = {https://www.bibsonomy.org/bibtex/27e3753dee67afc06d1dec7bb0bd1982c/admin}, booktitle = {CSDM}, crossref = {conf/csdm/2015}, editor = {Auvray, Gérard and Bocquet, Jean-Claude and Bonjour, Eric and Krob, Daniel}, ee = {http://dx.doi.org/10.1007/978-3-319-26109-6_5}, interhash = {7ed61930902964bf99a2ef2512d827f3}, intrahash = {7e3753dee67afc06d1dec7bb0bd1982c}, isbn = {978-3-319-26109-6}, keywords = {}, pages = {69-81}, publisher = {Springer}, timestamp = {2023-12-13T02:24:34.000+0100}, title = {Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction.}, url = {http://dblp.uni-trier.de/db/conf/csdm/csdm2015.html#LambolaisCLP15}, year = 2015 }