Conference Paper

Towards model checking interpreted systems.

Conference: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings
Source: DBLP
0 Bookmarks
 · 
29 Views

Full-text

View
0 Downloads