Faster and symbolic CTMC model checking

Research output: Contribution to conference (unpublished)Paper

Standard

Faster and symbolic CTMC model checking. / Katoen, JP; Kwiatkowska, Marta; Norman, Gethin; Parker, David; de Alfaro, L; Gilmore, S.

2001. 23-38 Paper presented at In Proceedings PAPM-PROBMIV 2001, .

Research output: Contribution to conference (unpublished)Paper

Harvard

Katoen, JP, Kwiatkowska, M, Norman, G, Parker, D, de Alfaro, L & Gilmore, S 2001, 'Faster and symbolic CTMC model checking', Paper presented at In Proceedings PAPM-PROBMIV 2001, 1/01/01 pp. 23-38.

APA

Katoen, JP., Kwiatkowska, M., Norman, G., Parker, D., de Alfaro, L., & Gilmore, S. (2001). Faster and symbolic CTMC model checking. 23-38. Paper presented at In Proceedings PAPM-PROBMIV 2001, .

Vancouver

Katoen JP, Kwiatkowska M, Norman G, Parker D, de Alfaro L, Gilmore S. Faster and symbolic CTMC model checking. 2001. Paper presented at In Proceedings PAPM-PROBMIV 2001, .

Author

Katoen, JP ; Kwiatkowska, Marta ; Norman, Gethin ; Parker, David ; de Alfaro, L ; Gilmore, S. / Faster and symbolic CTMC model checking. Paper presented at In Proceedings PAPM-PROBMIV 2001, .16 p.

Bibtex

@conference{22eef044f28c4693b7cc9e76b2888432,
title = "Faster and symbolic CTMC model checking",
author = "JP Katoen and Marta Kwiatkowska and Gethin Norman and David Parker and {de Alfaro}, L and S Gilmore",
year = "2001",
month = jan,
day = "1",
language = "English",
pages = "23--38",
note = "In Proceedings PAPM-PROBMIV 2001 ; Conference date: 01-01-2001",

}

RIS

TY - CONF

T1 - Faster and symbolic CTMC model checking

AU - Katoen, JP

AU - Kwiatkowska, Marta

AU - Norman, Gethin

AU - Parker, David

AU - de Alfaro, L

AU - Gilmore, S

PY - 2001/1/1

Y1 - 2001/1/1

M3 - Paper

SP - 23

EP - 38

T2 - In Proceedings PAPM-PROBMIV 2001

Y2 - 1 January 2001

ER -