%0 Conference Paper %1 conf/foveoos/JohnsenOST10 %A Johnsen, Einar Broch %A Owe, Olaf %A Schlatte, Rudolf %A Tarifa, Silvia Lizeth Tapia %B FoVeOOS %D 2010 %E Beckert, Bernhard %E Marché, Claude %I Springer %K dblp %P 46-60 %T Validating Timed Models of Deployment Components with Parametric Concurrency. %U http://dblp.uni-trier.de/db/conf/foveoos/foveoos2010.html#JohnsenOST10 %V 6528 %@ 978-3-642-18069-9

@inproceedings{conf/foveoos/JohnsenOST10, added-at = {2022-01-03T00:00:00.000+0100}, author = {Johnsen, Einar Broch and Owe, Olaf and Schlatte, Rudolf and Tarifa, Silvia Lizeth Tapia}, biburl = {https://www.bibsonomy.org/bibtex/23415ab7a24e8e9a1fc9235067810a1b1/dblp}, booktitle = {FoVeOOS}, crossref = {conf/foveoos/2010}, editor = {Beckert, Bernhard and Marché, Claude}, ee = {https://doi.org/10.1007/978-3-642-18070-5_4}, interhash = {6df9db7f6f7b8c3a96020ffabbb67bb2}, intrahash = {3415ab7a24e8e9a1fc9235067810a1b1}, isbn = {978-3-642-18069-9}, keywords = {dblp}, pages = {46-60}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T04:06:24.000+0200}, title = {Validating Timed Models of Deployment Components with Parametric Concurrency.}, url = {http://dblp.uni-trier.de/db/conf/foveoos/foveoos2010.html#JohnsenOST10}, volume = 6528, year = 2010 }