Model Generation for Distributed Java Programs

Rabéa Boulifa, Eric Madelaine. Model Generation for Distributed Java Programs. In Nicolas Guelfi, Egidio Astesiano, Gianna Reggio, editors, Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxenbourg-Kirchberg, Luxenbourg, November 27-28, 2003, Revised Papers. Volume 2952 of Lecture Notes in Computer Science, pages 139-152, Springer, 2003. [doi]

@inproceedings{RabeaE03,
  title = {Model Generation for Distributed Java Programs},
  author = {Rabéa Boulifa and Eric Madelaine},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2952&spage=139},
  tags = {Java},
  researchr = {https://researchr.org/publication/RabeaE03},
  cites = {0},
  citedby = {0},
  pages = {139-152},
  booktitle = {Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxenbourg-Kirchberg, Luxenbourg, November 27-28, 2003, Revised Papers},
  editor = {Nicolas Guelfi and Egidio Astesiano and Gianna Reggio},
  volume = {2952},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-21091-1},
}