Nr. 445 (1993): PB-445 Verification of Temporal Properties of Concurrent Systems

Publiceret: 1993-06-01

Articles