Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems / R. BARBUTI; N. DE FRANCESCO; A. SANTONE; VAGLINI G. - (1997), pp. 519-534. ((Intervento presentato al convegno International Conference on Formal Description Techniques for Distributed System.
Titolo: | Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems |
Autori interni: | |
Anno del prodotto: | 1997 |
Handle: | http://hdl.handle.net/11568/202836 |
ISBN: | 0412820609 |
Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
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.