TY  - GEN
AU  - Stirling,Colin P
TI  - Modal and temporal properties of processes
SN  - 0387987177 (alk. paper)
U1  - 004.35 
PY  - 2001///
CY  - New York
PB  - Springer
KW  - Computer logic
KW  - Parallel processing (Electronic computers)
N1  - Contine Bibliografie si Index
ER  -