Publications

CRT-CAV09

Summary

A. Cimatti, M. Roveri and S. Tonetta (2009) Requirements Validation for Hybrid Systems. In CAV 2009.. Springer, pages 188-203.

Bibtex entry

@INPROCEEDINGS { CRT-CAV09,
    AUTHOR = { A. Cimatti and M. Roveri and S. Tonetta },
    TITLE = { {Requirements Validation for Hybrid Systems} },
    BOOKTITLE = { CAV 2009 },
    YEAR = { 2009 },
    PAGES = { 188-203 },
    PUBLISHER = { Springer },
    SERIES = { LNCS },
}