"Direct Verification of Bisimulations."

Martín Llamas Nistal, Juan Quemada, Manuel J. Fernández-Iglesias (1996)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2024-01-12