Sciweavers

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