Original language | English |
---|---|
Pages | 23-38 |
Number of pages | 16 |
Publication status | Published - 1 Jan 2001 |
Event | In Proceedings PAPM-PROBMIV 2001 - Duration: 1 Jan 2001 → … |
Conference
Conference | In Proceedings PAPM-PROBMIV 2001 |
---|---|
Period | 1/01/01 → … |
JP Katoen, Marta Kwiatkowska, Gethin Norman, David Parker, L de Alfaro, S Gilmore
Research output: Contribution to conference (unpublished) › Paper
Original language | English |
---|---|
Pages | 23-38 |
Number of pages | 16 |
Publication status | Published - 1 Jan 2001 |
Event | In Proceedings PAPM-PROBMIV 2001 - Duration: 1 Jan 2001 → … |
Conference | In Proceedings PAPM-PROBMIV 2001 |
---|---|
Period | 1/01/01 → … |