BibTeX record conf/compass/Mossakowski94

• > Home > conf/compass/Mossakowski94

@inproceedings{DBLP:conf/compass/Mossakowski94,
  author       = {Till Mossakowski},
  editor       = {Egidio Astesiano and
                  Gianna Reggio and
                  Andrzej Tarlecki},
  title        = {A Hierarchy of Institutions Seperated by Properties of Parameterized
                  Abstract Data Types},
  booktitle    = {Recent Trends in Data Type Specification, 10th Workshop on Specification
                  of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
                  Italy, May 30 - June 3, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {906},
  pages        = {389--405},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0014440},
  doi          = {10.1007/BFB0014440},
  timestamp    = {Sun, 02 Oct 2022 15:57:50 +0200},
  biburl       = {https://dblp.org/rec/conf/compass/Mossakowski94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}