"Second International Workshop on Verification of Infinite State Systems, ..."

Faron Moller (1997)

Details and statistics

DOI:

access: closed

type: Editorship

metadata version: 2020-01-14