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: 27/3/2017 05:12.
PrintDisplayed: 5/12/2020 19:50