%0 Journal Article %1 journals/sttt/MullerMRSP18 %A Müller, Andreas %A Mitsch, Stefan %A Retschitzegger, Werner %A Schwinger, Wieland %A Platzer, André %D 2018 %J Int. J. Softw. Tools Technol. Transf. %K %N 6 %P 615-643 %T Tactical contract composition for hybrid system component verification. %U http://dblp.uni-trier.de/db/journals/sttt/sttt20.html#MullerMRSP18 %V 20

@article{journals/sttt/MullerMRSP18, added-at = {2023-12-14T15:34:34.000+0100}, author = {Müller, Andreas and Mitsch, Stefan and Retschitzegger, Werner and Schwinger, Wieland and Platzer, André}, biburl = {https://www.bibsonomy.org/bibtex/2bcf6d2d8500164d3c7c7af2cb0bf8bcb/admin}, ee = {https://doi.org/10.1007/s10009-018-0502-9}, interhash = {ecdf43f674529bc31ac36b618ef14d9f}, intrahash = {bcf6d2d8500164d3c7c7af2cb0bf8bcb}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {}, number = 6, pages = {615-643}, timestamp = {2023-12-14T15:34:34.000+0100}, title = {Tactical contract composition for hybrid system component verification.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt20.html#MullerMRSP18}, volume = 20, year = 2018 }