| Original language | English |
|---|---|
| Publication status | Published - 1 Jan 2011 |
Verifying properties of action theories by bounded model checking.
Laura GIORDANO, MARTELLI A., Daniele THESEIDER DUPRE'
Research output: Contribution to conference › Paper
Laura GIORDANO, MARTELLI A., Daniele THESEIDER DUPRE'
Research output: Contribution to conference › Paper
| Original language | English |
|---|---|
| Publication status | Published - 1 Jan 2011 |