Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling

Marta Z. Kwiatkowska, Rashid Mehmood. Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling. In Holger Hermanns, Roberto Segala, editors, Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings. Volume 2399 of Lecture Notes in Computer Science, pages 135-151, Springer, 2002. [doi]

@inproceedings{KwiatkowskaM02,
  title = {Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling},
  author = {Marta Z. Kwiatkowska and Rashid Mehmood},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2399/23990135.htm},
  researchr = {https://researchr.org/publication/KwiatkowskaM02},
  cites = {0},
  citedby = {0},
  pages = {135-151},
  booktitle = {Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings},
  editor = {Holger Hermanns and Roberto Segala},
  volume = {2399},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43913-7},
}