Media type: E-Article Title: Formal Methods and Software Engineering: Optimized Execution of Deterministic Blocks in Java PathFinder Contributor: d’Amorim, Marcelo; Sobeih, Ahmed; Marinov, Darko Published: Springer Berlin Heidelberg, 2006 Published in: Formal Methods and Software Engineering (2006), Seite 549-567 Language: Not determined DOI: 10.1007/11901433_30 ISSN: 0302-9743; 1611-3349 Origination: Footnote: