| Lingua originale | Inglese |
|---|---|
| Stato di pubblicazione | Pubblicato - 1 gen 2011 |
Verifying properties of action theories by bounded model checking.
Laura GIORDANO, MARTELLI A., Daniele THESEIDER DUPRE'
Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno