Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("RAIMONDI, Franco")

Results 1 to 4 of 4

  • Page / 1
Export

Selection :

  • and

The complexity of model checking concurrent programs against CTLK specificationsLOMUSCIO, Alessio; RAIMONDI, Franco.Lecture notes in computer science. 2006, pp 29-42, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 14 p.Conference Paper

The Anonymous Subgraph ProblemBETTINELLI, Andrea; LIBERTI, Leo; RAIMONDI, Franco et al.Computers & operations research. 2013, Vol 40, Num 4, pp 973-979, issn 0305-0548, 7 p.Article

MCMAS : A model checker for Multi-Agent SystemsLOMUSCIO, Alessio; RAIMONDI, Franco.Lecture notes in computer science. 2006, pp 450-454, issn 0302-9743, isbn 3-540-33056-9, 1Vol, 5 p.Conference Paper

Automatic verification of deontic properties of multi-agent systemsRAIMONDI, Franco; LOMUSCIO, Alessio.Lecture notes in computer science. 2004, pp 228-242, issn 0302-9743, isbn 3-540-22111-5, 15 p.Conference Paper

  • Page / 1