Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/icinco/PennaMTIMT06
%A Penna, Giuseppe Della
%A Magazzeni, Daniele
%A Tofani, Alberto
%A Intrigila, Benedetto
%A Melatti, Igor
%A Tronci, Enrico
%B ICINCO-ICSO
%D 2006
%E Andrade-Cetto, Juan
%E Ferrier, Jean-Louis
%E Pereira, José Miguel Dias
%E Filipe, Joaquim
%I INSTICC Press
%K dblp
%P 26-33
%T Automatic generation of optimal controllers through model checking techniques.
%U http://dblp.uni-trier.de/db/conf/icinco/icinco2006-icso.html#PennaMTIMT06
%@ 972-8865-59-7
@inproceedings{conf/icinco/PennaMTIMT06,
added-at = {2007-02-21T00:00:00.000+0100},
author = {Penna, Giuseppe Della and Magazzeni, Daniele and Tofani, Alberto and Intrigila, Benedetto and Melatti, Igor and Tronci, Enrico},
biburl = {https://www.bibsonomy.org/bibtex/24db12071c1a32841a2bd95ffa6976f91/dblp},
booktitle = {ICINCO-ICSO},
crossref = {conf/icinco/2006icso},
editor = {Andrade-Cetto, Juan and Ferrier, Jean-Louis and Pereira, José Miguel Dias and Filipe, Joaquim},
interhash = {05b20832fa2f7aa9b2e938c2017ee53b},
intrahash = {4db12071c1a32841a2bd95ffa6976f91},
isbn = {972-8865-59-7},
keywords = {dblp},
pages = {26-33},
publisher = {INSTICC Press},
timestamp = {2024-04-09T23:00:49.000+0200},
title = {Automatic generation of optimal controllers through model checking techniques.},
url = {http://dblp.uni-trier.de/db/conf/icinco/icinco2006-icso.html#PennaMTIMT06},
year = 2006
}