Title of article

A calculational approach to reactive systems

Author/Authors

Burghard von Karger، نويسنده ,

Issue Information

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

Pages

23

From page

139

To page

161

Journal title

Science of Computer Programming

Serial Year

2000

Journal title

Science of Computer Programming

Record number

1079574