%0 Conference Paper %1 conf/fossacs/MossakowskiT14 %A Mossakowski, Till %A Tarlecki, Andrzej %B FoSSaCS %D 2014 %E Muscholl, Anca %I Springer %K dblp %P 441-456 %T A Relatively Complete Calculus for Structured Heterogeneous Specifications. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2014.html#MossakowskiT14 %V 8412 %@ 978-3-642-54829-1

@inproceedings{conf/fossacs/MossakowskiT14, added-at = {2022-10-02T00:00:00.000+0200}, author = {Mossakowski, Till and Tarlecki, Andrzej}, biburl = {https://www.bibsonomy.org/bibtex/2a22c2007a6ec63661ab50f679a067b9e/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2014}, editor = {Muscholl, Anca}, ee = {https://doi.org/10.1007/978-3-642-54830-7_29}, interhash = {70530cd2e7208c01bc655e8f2cfd0404}, intrahash = {a22c2007a6ec63661ab50f679a067b9e}, isbn = {978-3-642-54829-1}, keywords = {dblp}, pages = {441-456}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:24:25.000+0200}, title = {A Relatively Complete Calculus for Structured Heterogeneous Specifications.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2014.html#MossakowskiT14}, volume = 8412, year = 2014 }