Items where Author is "Katoen, Pieter"
Number of items: 9. DeDe 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) 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) KaDe 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) 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) LaDe 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) 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) LoDe 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) MaDe 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) 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) |
