مرکز منطقه ای اطلاع رساني علوم و فناوري - A mixed approach for the formal correctness proof of distributed programs

Title of article :

A mixed approach for the formal correctness proof of distributed programs

Author/Authors :

Gabriele Manduchi، نويسنده ,

Issue Information :

ماهنامه با شماره پیاپی سال 1996

Pages :

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 :