Out-of-core solution of large linear systems of equations arising from stochastic modelling

Marta Kwiatkowska; R Mehmood; H Hermanns; R Segala

Out-of-core solution of large linear systems of equations arising from stochastic modelling

Marta Kwiatkowska, R Mehmood, H Hermanns, R Segala

Computer Science

Research output: Contribution to conference (unpublished) › Paper

20 Citations (Scopus)

Original language	English
Pages	LNCS 135-151
Publication status	Published - 1 Jan 2002
Event	Proceedings 2nd Joint Int. Workshop on Process Algebra and Performance Modelling and Probabilistic Methods in Verification (PAPM-PROBMIV'02) - Duration: 1 Jan 2002 → …

Conference

Conference	Proceedings 2nd Joint Int. Workshop on Process Algebra and Performance Modelling and Probabilistic Methods in Verification (PAPM-PROBMIV'02)
Period	1/01/02 → …

Cite this

@conference{84e4611cf07e445c9021c330f733aea9,

title = "Out-of-core solution of large linear systems of equations arising from stochastic modelling",

author = "Marta Kwiatkowska and R Mehmood and H Hermanns and R Segala",

year = "2002",

month = jan,

day = "1",

language = "English",

pages = "LNCS 135--151",

note = "Proceedings 2nd Joint Int. Workshop on Process Algebra and Performance Modelling and Probabilistic Methods in Verification (PAPM-PROBMIV'02) ; Conference date: 01-01-2002",

}

Out-of-core solution of large linear systems of equations arising from stochastic modelling. / Kwiatkowska, Marta; Mehmood, R; Hermanns, H et al.
2002. LNCS 135-151 Paper presented at Proceedings 2nd Joint Int. Workshop on Process Algebra and Performance Modelling and Probabilistic Methods in Verification (PAPM-PROBMIV'02).

Research output: Contribution to conference (unpublished) › Paper

TY - CONF

T1 - Out-of-core solution of large linear systems of equations arising from stochastic modelling

AU - Kwiatkowska, Marta

AU - Mehmood, R

AU - Hermanns, H

AU - Segala, R

PY - 2002/1/1

Y1 - 2002/1/1

M3 - Paper

SP - LNCS 135-151

T2 - Proceedings 2nd Joint Int. Workshop on Process Algebra and Performance Modelling and Probabilistic Methods in Verification (PAPM-PROBMIV'02)

Y2 - 1 January 2002

ER -