%0 Conference Paper %1 conf/fase/HenrioKLM16 %A Henrio, Ludovic %A Kulankhina, Oleksandra %A Li, Siqi %A Madelaine, Eric %B FASE %D 2016 %E Stevens, Perdita %E Wasowski, Andrzej %I Springer %K %P 66-83 %T Integrated Environment for Verifying and Running Distributed Components. %U http://dblp.uni-trier.de/db/conf/fase/fase2016.html#HenrioKLM16 %V 9633 %@ 978-3-662-49664-0

@inproceedings{conf/fase/HenrioKLM16, added-at = {2023-12-12T21:52:35.000+0100}, author = {Henrio, Ludovic and Kulankhina, Oleksandra and Li, Siqi and Madelaine, Eric}, biburl = {https://www.bibsonomy.org/bibtex/2f8af33b100fdeb43e32bc4f7319fd44b/admin}, booktitle = {FASE}, crossref = {conf/fase/2016}, editor = {Stevens, Perdita and Wasowski, Andrzej}, ee = {https://doi.org/10.1007/978-3-662-49665-7_5}, interhash = {441c7f7580f0dea6e5e2264d135e9850}, intrahash = {f8af33b100fdeb43e32bc4f7319fd44b}, isbn = {978-3-662-49664-0}, keywords = {}, pages = {66-83}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T21:52:35.000+0100}, title = {Integrated Environment for Verifying and Running Distributed Components.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2016.html#HenrioKLM16}, volume = 9633, year = 2016 }