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

Research output: Working paper

Standard

Harvard

APA

Vancouver

Author

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 -