Nr. 515 (1997): PB-515 Verification by State Spaces with Equivalence Classes

Publiceret: 1997-02-01

Articles