IRIS Institutional Research Information System - OPENBS Open Archive UniBS

Incremental Determinization of Finite Automata in Model-Based Diagnosis of Active Systems

LAMPERTI, Gian Franco;ZANELLA, Marina;
2008-01-01
2008
Ateneo di appartenenza
Knowledge-Based Intelligent Information and Engineering Systems
I. LOVREK; R.J. HOWLETT; L.C. JAIN EDITORS
PE6_7 Artificial intelligence, intelligent systems, multi agent systems
WOS:000259162700042
2-s2.0-57849142508
Inglese
Internazionale
5177
362
374
9783540855620
Springer
HEIDELBERG
GERMANIA
2 Contributo in Volume::2.1 Contributo in volume (Capitolo o Saggio)
4
268
none
Lamperti, Gian Franco; Zanella, Marina; G., Chiodi; L., Chiodi
info:eu-repo/semantics/bookPart
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11379/17520
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 16
  • ???jsp.display-item.citation.isi??? 11
social impact