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
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=1079574
بازگشت