Inproceedings,

Formal Service-Oriented Development of Fault Tolerant Communicating Systems.

, , , , and .
RODIN Book, volume 4157 of Lecture Notes in Computer Science, page 261-287. Springer, (2006)

Meta data

Tags

Users

  • @dblp

Comments and Reviews