Media type: E-Article Title: Symbolic partition refinement with automatic balancing of time and space Contributor: Wimmer, Ralf; Derisavi, Salem; Hermanns, Holger Published: Elsevier BV, 2010 Published in: Performance Evaluation, 67 (2010) 9, Seite 816-836 Language: English DOI: 10.1016/j.peva.2009.12.008 ISSN: 0166-5316 Keywords: Computer Networks and Communications ; Hardware and Architecture ; Modeling and Simulation ; Software Origination: Footnote: