Sciweavers

30 search results - page 1 / 6
» jelia 2004
Sort
View
JELIA
2004
Springer
13 years 10 months ago
Relational Markov Games
Alberto Finzi, Thomas Lukasiewicz
JELIA
2004
Springer
13 years 10 months ago
The DALI Logic Programming Agent-Oriented Language
Stefania Costantini, Arianna Tocchio
JELIA
2004
Springer
13 years 10 months ago
SATMC: A SAT-Based Model Checker for Security Protocols
Alessandro Armando, Luca Compagna