Title of article

Labelled transition logic: an outline

Author/Authors

E. Astesiano and G. Reggio ، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 2001

Pages

49

From page

831

To page

879

Journal title

acta Informatica

Serial Year

2001

Journal title

acta Informatica

Record number

287722