BibTeX record books/ws/phaunRS01/Ehrig01

download as .bib file

@incollection{DBLP:books/ws/phaunRS01/Ehrig01,
  author       = {Hartmut Ehrig},
  editor       = {Gheorghe Paun and
                  Grzegorz Rozenberg and
                  Arto Salomaa},
  title        = {On the Role of Formal Specification Techniques: From {TAPSOFT} 1985
                  to {ETAPS} 2000},
  booktitle    = {Current Trends in Theoretical Computer Science, Entering the 21th
                  Century},
  pages        = {131--133},
  publisher    = {World Scientific},
  year         = {2001},
  timestamp    = {Sat, 03 Aug 2019 22:52:52 +0200},
  biburl       = {https://dblp.org/rec/books/ws/phaunRS01/Ehrig01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.