Rat: A tool for formal analysis of requirements

Ingo Hans Pill, Roderick Paul Bloem, Alessandro Cimatti, Marco Roveri, Simone Semprini, Andrei Tchaltsev

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationEuropean Conference on Artificial Intelligence
Publisher.
Pages?-?
Publication statusPublished - 2006
EventEuropean Conference on Artificial Intelligence - Riva del Garda, Italy
Duration: 29 Aug 20061 Sep 2006

Conference

ConferenceEuropean Conference on Artificial Intelligence
Abbreviated titleECAI
CountryItaly
CityRiva del Garda
Period29/08/061/09/06

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this

Pill, I. H., Bloem, R. P., Cimatti, A., Roveri, M., Semprini, S., & Tchaltsev, A. (2006). Rat: A tool for formal analysis of requirements. In European Conference on Artificial Intelligence (pp. ?-?). ..

Rat: A tool for formal analysis of requirements. / Pill, Ingo Hans; Bloem, Roderick Paul; Cimatti, Alessandro; Roveri, Marco; Semprini, Simone; Tchaltsev, Andrei.

European Conference on Artificial Intelligence. ., 2006. p. ?-?.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Pill, IH, Bloem, RP, Cimatti, A, Roveri, M, Semprini, S & Tchaltsev, A 2006, Rat: A tool for formal analysis of requirements. in European Conference on Artificial Intelligence. ., pp. ?-?, European Conference on Artificial Intelligence, Riva del Garda, Italy, 29/08/06.
Pill IH, Bloem RP, Cimatti A, Roveri M, Semprini S, Tchaltsev A. Rat: A tool for formal analysis of requirements. In European Conference on Artificial Intelligence. . 2006. p. ?-?
Pill, Ingo Hans ; Bloem, Roderick Paul ; Cimatti, Alessandro ; Roveri, Marco ; Semprini, Simone ; Tchaltsev, Andrei. / Rat: A tool for formal analysis of requirements. European Conference on Artificial Intelligence. ., 2006. pp. ?-?
@inproceedings{d36cd9bd7cd14d96b72c24d4ffa8b990,
title = "Rat: A tool for formal analysis of requirements",
author = "Pill, {Ingo Hans} and Bloem, {Roderick Paul} and Alessandro Cimatti and Marco Roveri and Simone Semprini and Andrei Tchaltsev",
note = "ECAI Systems demonstration",
year = "2006",
language = "English",
pages = "?--?",
booktitle = "European Conference on Artificial Intelligence",
publisher = ".",

}

TY - GEN

T1 - Rat: A tool for formal analysis of requirements

AU - Pill, Ingo Hans

AU - Bloem, Roderick Paul

AU - Cimatti, Alessandro

AU - Roveri, Marco

AU - Semprini, Simone

AU - Tchaltsev, Andrei

N1 - ECAI Systems demonstration

PY - 2006

Y1 - 2006

M3 - Conference contribution

SP - ?-?

BT - European Conference on Artificial Intelligence

PB - .

ER -