Automatic verification of sequential infinite-state processes
BURKART, Olaf. Automatic verification of sequential infinite-state processes. Berlin: Springer, 1997, 163 s. ISBN 3540639829. |
Other formats:
BibTeX
LaTeX
RIS
|
Basic 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 by | The record has been imported from the library system. Changed: 20/3/2023 04:44. |
PrintDisplayed: 19/8/2024 21:46