Sciweavers

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