BibTeX record conf/pstv/Leduc87

download as .bib file

@inproceedings{DBLP:conf/pstv/Leduc87,
  author       = {Guy Leduc},
  editor       = {Harry Rudin and
                  Colin H. West},
  title        = {The Intertwining of Data Types and Processes in {LOTOS}},
  booktitle    = {Protocol Specification, Testing and Verification VII, Proceedings
                  of the {IFIP} {WG6.1} Seventh International Conference on Protocol
                  Specification, Testing and Verification, Zurich, Switzerland, 5-8
                  May, 1987},
  pages        = {123--136},
  publisher    = {North-Holland},
  year         = {1987},
  timestamp    = {Fri, 04 Jan 2002 14:48:36 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/Leduc87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.