Публикации
References
Articles: |
---|
COVERS - A Tool for the Design of Real-Time Concurrent Systems
LNCS,
v. 964:219-232
1995
|
mailto: webmaster@dcn.ftk.spbstu.ru
Articles: |
---|
COVERS - A Tool for the Design of Real-Time Concurrent Systems
LNCS,
v. 964:219-232
1995
|