BibTeX record conf/movep/CaillaudDHL00

• > Home > conf/movep/CaillaudDHL00

@inproceedings{DBLP:conf/movep/CaillaudDHL00,
  author       = {Beno{\^{\i}}t Caillaud and
                  Philippe Darondeau and
                  Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
                  Gilles Lesventes},
  editor       = {Franck Cassez and
                  Claude Jard and
                  Brigitte Rozoy and
                  Mark Dermot Ryan},
  title        = {HMSCs as Partial Specifications ... with PNs as Completions},
  booktitle    = {Modeling and Verification of Parallel Processes, 4th Summer School,
                  {MOVEP} 2000, Nantes, France, June 19-23, 2000},
  series       = {Lecture Notes in Computer Science},
  volume       = {2067},
  pages        = {125--152},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45510-8\_5},
  doi          = {10.1007/3-540-45510-8\_5},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/movep/CaillaudDHL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}