%0 Journal Article %1 journals/scp/BauerLLNW14 %A Bauer, Sebastian S. %A Larsen, Kim G. %A Legay, Axel %A Nyman, Ulrik %A Wasowski, Andrzej %D 2014 %J Sci. Comput. Program. %K dblp %P 106-128 %T A modal specification theory for components with data. %U http://dblp.uni-trier.de/db/journals/scp/scp83.html#BauerLLNW14 %V 83

@article{journals/scp/BauerLLNW14, added-at = {2024-02-05T00:00:00.000+0100}, author = {Bauer, Sebastian S. and Larsen, Kim G. and Legay, Axel and Nyman, Ulrik and Wasowski, Andrzej}, biburl = {https://www.bibsonomy.org/bibtex/226900aa55bc9b6ae8b8efaf3297ec26c/dblp}, ee = {https://doi.org/10.1016/j.scico.2013.06.003}, interhash = {ffcfdd68131258e809582181a36988f1}, intrahash = {26900aa55bc9b6ae8b8efaf3297ec26c}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = {106-128}, timestamp = {2024-04-09T05:28:19.000+0200}, title = {A modal specification theory for components with data.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp83.html#BauerLLNW14}, volume = 83, year = 2014 }