MoMo: A Modal Logic for Reasoning About Mobility / Rocco De Nicola; Michele Loreti. - STAMPA. - (2005), pp. 95-119. [10.1007/11561163_5]

MoMo: A Modal Logic for Reasoning About Mobility

DE NICOLA, ROCCO;LORETI, MICHELE
2005

2005
9783540291312
Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures. Lecture Notes in Computer Science 3657
95
119
Rocco De Nicola; Michele Loreti
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/354636
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 4
social impact