<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2010-05-05 07:12:06Modal logic Software engineering Logic Non-classical logic Maude system |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2010-05-05 07:12:06Modal logic Software engineering Logic Non-classical logic Maude system |
Add to Reading List |
Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed]