BibTeX record conf/ictcs/BartocciCBMT09

download as .bib file

@inproceedings{DBLP:conf/ictcs/BartocciCBMT09,
  author    = {Ezio Bartocci and
               Flavio Corradini and
               Maria Rita Di Berardini and
               Emanuela Merelli and
               Luca Tesei},
  title     = {A Shape Calculus for Biological Processes},
  booktitle = {Theoretical Computer Science, 11th Italian Conference, {ICTCS} 2009,
               Cremona, Italy, September 28-30, 2009, Proceedings.},
  pages     = {30--33},
  year      = {2009},
  crossref  = {DBLP:conf/ictcs/2009},
  timestamp = {Tue, 28 May 2013 14:21:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictcs/BartocciCBMT09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictcs/2009,
  editor    = {Alessandra Cherubini and
               Mario Coppo and
               Giuseppe Persiano},
  title     = {Theoretical Computer Science, 11th Italian Conference, {ICTCS} 2009,
               Cremona, Italy, September 28-30, 2009, Proceedings},
  year      = {2009},
  timestamp = {Tue, 28 May 2013 14:21:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictcs/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier