Automated Abstraction-Refinement of Hybrid Automata for Monotonic CTL Model Checking
GENTILINI, Raffaella;
2007
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.