Original language | English |
---|---|
Publication status | Published - 1 Jan 2002 |
Computer Science Technical Reports 2002: A Symbolic Out-of-Core Solution Method for Markov Models
Marta Kwiatkowska, R Mehmood, Gethin Norman, David Parker
Research output: Working paper/Preprint › Working paper