Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Artikel
Titel:
Tools and Algorithms for the Construction and Analysis of Systems: Transitive Closures of Regular Relations for Verifying Infinite-State Systems
Beteiligte:
Jonsson, Bengt;
Nilsson, Marcus
Erschienen:
Springer Berlin Heidelberg, 2000
Erschienen in:Tools and Algorithms for the Construction and Analysis of Systems