Technical Report CSR-03-8: An Efficient Symbolic Out-of-Core Solution Method for Markov Models

Research output: Working paper

Standard

Technical Report CSR-03-8 : An Efficient Symbolic Out-of-Core Solution Method for Markov Models. / Mehmood, Rashid; Parker, David; Kwiatkowska, Marta.

2003.

Research output: Working paper

Harvard

Mehmood, R, Parker, D & Kwiatkowska, M 2003 'Technical Report CSR-03-8: An Efficient Symbolic Out-of-Core Solution Method for Markov Models'.

APA

Mehmood, R., Parker, D., & Kwiatkowska, M. (2003). Technical Report CSR-03-8: An Efficient Symbolic Out-of-Core Solution Method for Markov Models.

Vancouver

Mehmood R, Parker D, Kwiatkowska M. Technical Report CSR-03-8: An Efficient Symbolic Out-of-Core Solution Method for Markov Models. 2003 Jan 1.

Author

Mehmood, Rashid ; Parker, David ; Kwiatkowska, Marta. / Technical Report CSR-03-8 : An Efficient Symbolic Out-of-Core Solution Method for Markov Models. 2003.

Bibtex

@techreport{6d3f4a14fa604297a1cadde6ba235879,
title = "Technical Report CSR-03-8: An Efficient Symbolic Out-of-Core Solution Method for Markov Models",
author = "Rashid Mehmood and David Parker and Marta Kwiatkowska",
year = "2003",
month = jan,
day = "1",
language = "English",
type = "WorkingPaper",

}

RIS

TY - UNPB

T1 - Technical Report CSR-03-8

T2 - An Efficient Symbolic Out-of-Core Solution Method for Markov Models

AU - Mehmood, Rashid

AU - Parker, David

AU - Kwiatkowska, Marta

PY - 2003/1/1

Y1 - 2003/1/1

M3 - Working paper

BT - Technical Report CSR-03-8

ER -