1997
Automatic verification of sequential infinite-state processes
BURKART, OlafBasic information
Original name
Automatic verification of sequential infinite-state processes
Authors
BURKART, Olaf
Edition
Berlin, 163 s. 1997
Publisher
Springer
Other information
ISBN
3540639829
Changed: 6/1/2025 04:44, The record has been imported from the library system.