IF 3.750
Model Checking Semantically Annotated Services / DI PIETRO, Ivan; Pagliarecci, Francesco; Spalazzi, Luca. - In: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. - ISSN 0098-5589. - 38:(2012), pp. 592-608. [10.1109/TSE.2011.10]
Model Checking Semantically Annotated Services
DI PIETRO, IVAN;PAGLIARECCI, Francesco;SPALAZZI, Luca
2012-01-01
Abstract
IF 3.750File 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.