Title of article
A mixed approach for the formal correctness proof of distributed programs
Author/Authors
Gabriele Manduchi، نويسنده ,
Issue Information
ماهنامه با شماره پیاپی سال 1996
Pages
18
From page
521
To page
538
Keywords
Distributed systems , Petri nets , Assertional reasoning
Journal title
Information and Software Technology
Serial Year
1996
Journal title
Information and Software Technology
Record number
134408
Link To Document