IMT Institutional Repository: No conditions. Results ordered -Date Deposited.
http://eprints.imtlucca.it/
Fri, 29 Mar 2024 06:59:50 +0100Fri, 29 Mar 2024 06:59:50 +0100en Towards a logic for performance and mobility
http://eprints.imtlucca.it/296/
De Nicola, Rocco and Katoen, Pieter and Latella, Diego and Massink, Mieke Towards a logic for performance and mobility. Electronic Notes in Theoretical Computer Science, 153 (2). pp. 161-175. ISSN 1571-0661 (2006) Model checking mobile stochastic logic
http://eprints.imtlucca.it/293/
De Nicola, Rocco and Katoen, Pieter and Latella, Diego and Loreti, Michele and Massink, Mieke Model checking mobile stochastic logic. Theoretical Computer Science, 382 (1). pp. 42-70. ISSN 0304-3975 (2007)