Coordinating Exceptions of Java Systems: Implementation and Formal Verification. Hanazumi, S., de Melo, & Vieira, A. C. In Faria, Pascoal, J., da Silva, Rodrigues, A., Machado, & Jorge, R., editors, QUATIC, pages 108-113, 2012. IEEE Computer Society.
Coordinating Exceptions of Java Systems: Implementation and Formal Verification. [link]Paper  Coordinating Exceptions of Java Systems: Implementation and Formal Verification. [link]Link  bibtex   
@inproceedings{ conf/quatic/HanazumiM12,
  added-at = {2013-06-03T00:00:00.000+0200},
  author = {Hanazumi, Simone and de Melo, Ana Cristina Vieira},
  biburl = {http://www.bibsonomy.org/bibtex/2bfbfd206af8bbf014587b988d9f80d81/dblp},
  booktitle = {QUATIC},
  crossref = {conf/quatic/2012},
  editor = {Faria, João Pascoal and da Silva, Alberto Rodrigues and Machado, Ricardo Jorge},
  ee = {http://dx.doi.org/10.1109/QUATIC.2012.26},
  interhash = {8c26d6208a5eb07fcd7b4b4286a9573c},
  intrahash = {bfbfd206af8bbf014587b988d9f80d81},
  isbn = {978-0-7695-4777-0},
  keywords = {dblp},
  pages = {108-113},
  publisher = {IEEE Computer Society},
  title = {Coordinating Exceptions of Java Systems: Implementation and Formal Verification.},
  url = {http://dblp.uni-trier.de/db/conf/quatic/quatic2012.html#HanazumiM12},
  year = {2012}
}

Downloads: 0