BibTeX record conf/ictcs/BernardoA07

download as .bib file

@inproceedings{DBLP:conf/ictcs/BernardoA07,
  author       = {Marco Bernardo and
                  Alessandro Aldini},
  editor       = {Giuseppe F. Italiano and
                  Eugenio Moggi and
                  Luigi Laura},
  title        = {Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted
                  Internal Immediate Actions},
  booktitle    = {Theoretical Computer Science, 10th Italian Conference, {ICTCS} 2007,
                  Rome, Italy, October 3-5, 2007, Proceedings},
  pages        = {39--56},
  publisher    = {World Scientific},
  year         = {2007},
  timestamp    = {Fri, 10 Aug 2018 13:02:27 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/BernardoA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}