Publication:

Verification of Coordinated Exception Handling (2006)

Author(s): Castor Filho F, Romanovsky A, Rubira CMF

    Notes: Session: Dependable and adaptive distributed systems (DADS)

      • Date: 23-27 April 2006
      • Conference Name: Proceedings of the 2006 ACM Symposium on Applied Computing
      • Volume: 1
      • Pages: 680-685
      • Publisher: ACM
      • Publication type: Conference Proceedings (inc. abstract)
      • Bibliographic status: Published