%0 Conference Paper %1 conf/wadt/Mossakowski99 %A Mossakowski, Till %B WADT %D 1999 %E Bert, Didier %E Choppy, Christine %E Mosses, Peter D. %I Springer %K dblp %P 252-270 %T Specifications in an Arbitrary Institution with Symbols. %U http://dblp.uni-trier.de/db/conf/wadt/wadt1999.html#Mossakowski99 %V 1827 %@ 3-540-67898-0

@inproceedings{conf/wadt/Mossakowski99, added-at = {2022-10-02T00:00:00.000+0200}, author = {Mossakowski, Till}, biburl = {https://www.bibsonomy.org/bibtex/240cc9bc00eb57a14fd84b826d7389683/dblp}, booktitle = {WADT}, crossref = {conf/wadt/1999}, editor = {Bert, Didier and Choppy, Christine and Mosses, Peter D.}, ee = {https://doi.org/10.1007/978-3-540-44616-3_15}, interhash = {07151e70c1c9b19245440943bb18c099}, intrahash = {40cc9bc00eb57a14fd84b826d7389683}, isbn = {3-540-67898-0}, keywords = {dblp}, pages = {252-270}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T20:54:05.000+0200}, title = {Specifications in an Arbitrary Institution with Symbols.}, url = {http://dblp.uni-trier.de/db/conf/wadt/wadt1999.html#Mossakowski99}, volume = 1827, year = 1999 }