publication . Book . 2009

FM 2009: Formal Methods

Pradella, Matteo; Morzenti, Angelo; San Pietro, Pierluigi;
Closed Access English
  • Published: 01 Nov 2009 Journal: A Metric Encoding for Bounded Model Checking (issn: 0302-9743, Copyright policy)
Funded by
EC| SMSCOM
Project
SMSCOM
Self-Managing Situated Computing
  • Funder: European Commission (EC)
  • Project Code: 227977
  • Funding stream: FP7 | SP2 | ERC
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue