Sciweavers

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