BibTeX record conf/pstv/AhtiainenACDDFHJKMMPP85

• > Home > conf/pstv/AhtiainenACDDFHJKMMPP85

@inproceedings{DBLP:conf/pstv/AhtiainenACDDFHJKMMPP85,
  author       = {Ari Ahtiainen and
                  S. Alfonzetti and
                  V. Chari and
                  Mats Daniels and
                  Michel Diaz and
                  Alberto Faro and
                  Hans A. Hansson and
                  Guy Juanole and
                  Ulla Karjalainen and
                  Gesualdo Le Moli and
                  Juhani Malka and
                  Sergio Palazzo and
                  Orlando Pereda},
  editor       = {Michel Diaz},
  title        = {An approach for evaluating formal description techniques},
  booktitle    = {Protocol Specification, Testing and Verification V, Proceedings of
                  the {IFIP} {WG6.1} Fifth International Conference on Protocol Specification,
                  Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985},
  pages        = {421--438},
  publisher    = {North-Holland},
  year         = {1985},
  timestamp    = {Mon, 23 Oct 2006 15:15:06 +0200},
  biburl       = {https://dblp.org/rec/conf/pstv/AhtiainenACDDFHJKMMPP85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}