![Modal logic / Software engineering / Logic / Non-classical logic / Maude system Modal logic / Software engineering / Logic / Non-classical logic / Maude system](https://www.pdfsearch.io/img/725b52154bcf35a10a66ad3f483b35e6.jpg) Date: 2010-05-05 07:12:06Modal logic Software engineering Logic Non-classical logic Maude system | | 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]Add to Reading ListSource URL: www.cs.nott.ac.ukDownload Document from Source Website File Size: 198,95 KBShare Document on Facebook
|