%0 Conference Paper %1 conf/wadt/MossakowskiKM14 %A Mossakowski, Till %A Krumnack, Ulf %A Maibaum, Tom %B WADT %D 2014 %E Codescu, Mihai %E Diaconescu, Razvan %E Tutu, Ionut %I Springer %K dblp %P 90-109 %T What Is a Derived Signature Morphism? %U http://dblp.uni-trier.de/db/conf/wadt/wadt2014.html#MossakowskiKM14 %V 9463 %@ 978-3-319-28113-1

@inproceedings{conf/wadt/MossakowskiKM14, added-at = {2022-10-02T00:00:00.000+0200}, author = {Mossakowski, Till and Krumnack, Ulf and Maibaum, Tom}, biburl = {https://www.bibsonomy.org/bibtex/2de711b89d49a22803d3a0bb78a65334b/dblp}, booktitle = {WADT}, crossref = {conf/wadt/2014}, editor = {Codescu, Mihai and Diaconescu, Razvan and Tutu, Ionut}, ee = {https://doi.org/10.1007/978-3-319-28114-8_6}, interhash = {584dc3ecba5d19b8928f20ca49ba0224}, intrahash = {de711b89d49a22803d3a0bb78a65334b}, isbn = {978-3-319-28113-1}, keywords = {dblp}, pages = {90-109}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T18:04:26.000+0200}, title = {What Is a Derived Signature Morphism?}, url = {http://dblp.uni-trier.de/db/conf/wadt/wadt2014.html#MossakowskiKM14}, volume = 9463, year = 2014 }