TITLE     : Formal methods for distributed system development
AUTHOR(S) : Bolognesi T, Latella D
TYPE      : Book
YEAR      : 2000
CODE      : 190095

*** DO NOT EDIT THIS FILE ***