Media type: E-Book Title: Heuristic Search for Unbounded Executions Contributor: Kuntz, Matthias [Author]; Leue, Stefan [Author]; Scheben, Christoph [Author]; Wei, Wei [Other]; Yang, Sen [Other] imprint: Konstanz: Bibliothek der Universität Konstanz, 2009 Extent: Online-Ressource Language: English Identifier: Origination: Footnote: Access State: Open Access