126 search results - page 26 / 26 » Semi-external LTL Model Checking |
119
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper presents an implementation of (a simplified version of) the cognitive agent programming language 3APL in the Maude term rewriting language. Maude is based on t...