BibTeX record conf/arts/CuarteroFR97

• > Home > conf/arts/CuarteroFR97

@inproceedings{DBLP:conf/arts/CuarteroFR97,
  author       = {Fernando Cuartero and
                  David de Frutos{-}Escrig and
                  Valent{\'{\i}}n Valero Ruiz},
  editor       = {Miquel Bertran and
                  Teodor Rus},
  title        = {A Sound and Complete Proof System for Probabilistic Processes},
  booktitle    = {Transformation-Based Reactive Systems Development, 4th International
                  {AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
                  Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1231},
  pages        = {340--352},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63010-4\_23},
  doi          = {10.1007/3-540-63010-4\_23},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/arts/CuarteroFR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}