%0 Conference Paper %1 conf/fmco/HahnleHJLSSW11 %A Hähnle, Reiner %A Helvensteijn, Michiel %A Johnsen, Einar Broch %A Lienhardt, Michael %A Sangiorgi, Davide %A Schaefer, Ina %A Wong, Peter Y. H. %B FMCO %D 2011 %E Beckert, Bernhard %E Damiani, Ferruccio %E de Boer, Frank S. %E Bonsangue, Marcello M. %I Springer %K %P 109-132 %T HATS Abstract Behavioral Specification: The Architectural View. %U http://dblp.uni-trier.de/db/conf/fmco/fmco2011.html#HahnleHJLSSW11 %V 7542 %@ 978-3-642-35887-6

@inproceedings{conf/fmco/HahnleHJLSSW11, added-at = {2023-12-12T23:54:19.000+0100}, author = {Hähnle, Reiner and Helvensteijn, Michiel and Johnsen, Einar Broch and Lienhardt, Michael and Sangiorgi, Davide and Schaefer, Ina and Wong, Peter Y. H.}, biburl = {https://www.bibsonomy.org/bibtex/24b604f7aa45bf4f0f4b344b7705af64d/admin}, booktitle = {FMCO}, crossref = {conf/fmco/2011}, editor = {Beckert, Bernhard and Damiani, Ferruccio and de Boer, Frank S. and Bonsangue, Marcello M.}, ee = {https://doi.org/10.1007/978-3-642-35887-6_6}, interhash = {5bfb5988667089271587959e59eba4ab}, intrahash = {4b604f7aa45bf4f0f4b344b7705af64d}, isbn = {978-3-642-35887-6}, keywords = {}, pages = {109-132}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T23:54:19.000+0100}, title = {HATS Abstract Behavioral Specification: The Architectural View.}, url = {http://dblp.uni-trier.de/db/conf/fmco/fmco2011.html#HahnleHJLSSW11}, volume = 7542, year = 2011 }