TY
-
BOOK
AU
-
Reisig, Wolfgang
TI
-
Formal methods for concurrent systems design
a survey
PB
-
Institut für Informatik
PY
-
[1993]
BT
-
Informatik-Berichte ; 23
CY
-
Berlin
UR
-
http://slubdd.de/katalog?TN_libero_mab2
ER
-
Download citation