%0 Conference Paper %1 conf/fm/KrkaDMU14 %A Krka, Ivo %A D'Ippolito, Nicolás %A Medvidovic, Nenad %A Uchitel, Sebastián %B FM %D 2014 %E Jones, Cliff B. %E Pihlajasaari, Pekka %E Sun, Jun %I Springer %K %P 367-381 %T Revisiting Compatibility of Input-Output Modal Transition Systems. %U http://dblp.uni-trier.de/db/conf/fm/fm2014.html#KrkaDMU14 %V 8442 %@ 978-3-319-06409-3

@inproceedings{conf/fm/KrkaDMU14, added-at = {2023-12-13T07:50:16.000+0100}, author = {Krka, Ivo and D'Ippolito, Nicolás and Medvidovic, Nenad and Uchitel, Sebastián}, biburl = {https://www.bibsonomy.org/bibtex/25ed45a872ec9e79e8c9436d327ce70f7/admin}, booktitle = {FM}, crossref = {conf/fm/2014}, editor = {Jones, Cliff B. and Pihlajasaari, Pekka and Sun, Jun}, ee = {https://doi.org/10.1007/978-3-319-06410-9_26}, interhash = {bde2aa9cdae0c9312f80d831384e1b09}, intrahash = {5ed45a872ec9e79e8c9436d327ce70f7}, isbn = {978-3-319-06409-3}, keywords = {}, pages = {367-381}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T07:50:16.000+0100}, title = {Revisiting Compatibility of Input-Output Modal Transition Systems.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2014.html#KrkaDMU14}, volume = 8442, year = 2014 }