IIT Home Page CNR Home Page

Elective Temporal Logic

QoSA-ISARCS '11, Boulder, Colorado, USA, 2011

External authors: Gabriele Costa ()
IIT authors:

Type: Article in proceedings of international peer-reviewed conference
Field of reference: Information Technology and Communication Systems