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: 2/7/2024 16:45