TY  - JOUR

T1  - Concurrent and Real-Time Systems: The CSP Approach, Steve Schneider, Wiley, 2000 (Book Review).

JO  - Softw. Test. Verification Reliab.

PY  - 2000/01/01

AU  - Derrick J

ED  - 

DO  - DOI: 10.1002/1099-1689(200009)10:3<195::AID-STVR207>3.0

VL  - 10

SP  - 195

EP  - 195

Y2  - 2025/11/27

ER  -