Media type: E-Article Title: A Stack-Slicing Algorithm for Multi-Core Model Checking Contributor: Holzmann, Gerard J. Published: Elsevier BV, 2008 Published in: Electronic Notes in Theoretical Computer Science, 198 (2008) 1, Seite 3-16 Language: English DOI: 10.1016/j.entcs.2007.10.017 ISSN: 1571-0661 Keywords: General Computer Science ; Theoretical Computer Science Origination: Footnote: Access State: Open Access