DMCA

Verification of Behaviour Networks Using Finite-State Automata

Cached


by Christopher Armbrust , Lisa Kiekbusch , Thorsten Ropertz , Karsten Berns
Citations:2 - 1 self