| Original language | English |
|---|
| Publisher | Universität Oldenburg and Prover AB |
|---|---|
| Publication status | Published - 2000 |
Prover-based bounded model-checking and inductive verification of SMI models
Herman Ågreen, Martin Fränzle, Rainer Lochmann
Research output: Book/Report › Report › peer-review