Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/cimca/IntrigilaMMT05
%A Intrigila, Benedetto
%A Magazzeni, Daniele
%A Melatti, Igor
%A Tronci, Enrico
%B CIMCA/IAWTIC
%D 2005
%I IEEE Computer Society
%K dblp
%P 536-542
%T A Model Checking Technique for the Verification of Fuzzy Control Systems.
%U http://dblp.uni-trier.de/db/conf/cimca/cimca2005-1.html#IntrigilaMMT05
%@ 0-7695-2504-0
@inproceedings{conf/cimca/IntrigilaMMT05,
added-at = {2023-03-23T00:00:00.000+0100},
author = {Intrigila, Benedetto and Magazzeni, Daniele and Melatti, Igor and Tronci, Enrico},
biburl = {https://www.bibsonomy.org/bibtex/28709bd4b8b2eefdbdb603d4f42c20866/dblp},
booktitle = {CIMCA/IAWTIC},
crossref = {conf/cimca/2005},
ee = {https://doi.ieeecomputersociety.org/10.1109/CIMCA.2005.1631319},
interhash = {eb6b0f627db893880080e81f73ead7c1},
intrahash = {8709bd4b8b2eefdbdb603d4f42c20866},
isbn = {0-7695-2504-0},
keywords = {dblp},
pages = {536-542},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T14:02:45.000+0200},
title = {A Model Checking Technique for the Verification of Fuzzy Control Systems.},
url = {http://dblp.uni-trier.de/db/conf/cimca/cimca2005-1.html#IntrigilaMMT05},
year = 2005
}