BibTeX record conf/fossacs/AmadioC98

• > Home > conf/fossacs/AmadioC98

@inproceedings{DBLP:conf/fossacs/AmadioC98,
  author       = {Roberto M. Amadio and
                  Solange Coupet{-}Grimal},
  editor       = {Maurice Nivat},
  title        = {Analysis of a Guard Condition in Type Theory (Extended Abstract)},
  booktitle    = {Foundations of Software Science and Computation Structure, First International
                  Conference, FoSSaCS'98, Held as Part of the European Joint Conferences
                  on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal,
                  March 28 - April 4, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1378},
  pages        = {48--62},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0053541},
  doi          = {10.1007/BFB0053541},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/AmadioC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}