First Page | Document Content | |
---|---|---|
Date: 2010-09-15 07:35:36Modal 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 WebsiteFile Size: 198,95 KBShare Document on Facebook |