%0 Conference Paper %1 conf/safecomp/0002KB20 %A Khan, Shahid %A Katoen, Joost-Pieter %A Bouissou, Marc %B SAFECOMP %D 2020 %E Casimiro, António %E Ortmeier, Frank %E Bitsch, Friedemann %E Ferreira, Pedro %I Springer %K dblp %P 82-98 %T A Compositional Semantics for Repairable BDMPs. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2020.html#0002KB20 %V 12234 %@ 978-3-030-54549-9

@inproceedings{conf/safecomp/0002KB20, added-at = {2021-10-14T00:00:00.000+0200}, author = {Khan, Shahid and Katoen, Joost-Pieter and Bouissou, Marc}, biburl = {https://www.bibsonomy.org/bibtex/2bb5f29576ee4c0c926c73113cbfeba81/dblp}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/2020}, editor = {Casimiro, António and Ortmeier, Frank and Bitsch, Friedemann and Ferreira, Pedro}, ee = {https://doi.org/10.1007/978-3-030-54549-9_6}, interhash = {ca386a3f314dca5cee2c4fa3ee8d4d9d}, intrahash = {bb5f29576ee4c0c926c73113cbfeba81}, isbn = {978-3-030-54549-9}, keywords = {dblp}, pages = {82-98}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T07:00:07.000+0200}, title = {A Compositional Semantics for Repairable BDMPs.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2020.html#0002KB20}, volume = 12234, year = 2020 }