BibTeX records: Christophe Tabacznyj

• > Home > Persons > Christophe Tabacznyj

@inproceedings{DBLP:conf/ipps/CansellMT00,
  author       = {Dominique Cansell and
                  Dominique M{\'{e}}ry and
                  Christophe Tabacznyj},
  editor       = {Jos{\'{e}} D. P. Rolim},
  title        = {Tutorial 1: Abstraction and Refinement of Concurrent Programs and
                  Formal Specification},
  booktitle    = {Parallel and Distributed Processing, 15 {IPDPS} 2000 Workshops, Cancun,
                  Mexico, May 1-5, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1800},
  pages        = {1037--1038},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45591-4\_141},
  doi          = {10.1007/3-540-45591-4\_141},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ipps/CansellMT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwfm/Tabacznyj00,
  author       = {Christophe Tabacznyj},
  editor       = {David Sinclair and
                  J. Paul Gibson},
  title        = {Abstract Clustering for Program Comprehension},
  booktitle    = {4th Irish Workshop on Formal Methods, {IWFM} 2000, Maynooth, Ireland,
                  5th-6th July 2000},
  series       = {Workshops in Computing},
  publisher    = {{BCS}},
  year         = {2000},
  url          = {http://ewic.bcs.org/content/ConWebDoc/4201},
  timestamp    = {Wed, 11 Jun 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwfm/Tabacznyj00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}