![](/img/cover-not-exists.png)
Symbolic model checking of extended finite state machines with linear constraints over integer variables
Takashi Takenaka, Kozo Okano, Teruo Higashino, Kenichi TaniguchiVolume:
37
Year:
2006
Language:
english
Pages:
9
DOI:
10.1002/scj.20264
File:
PDF, 338 KB
english, 2006