Vol-725⫷ Vol-726 ⫸Vol-727
urn:nbn:de:0074-726-0


None⫷None⫸None

Generalized Büchi Automata versus Testing Automata for Model Checking