There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book

ISBN (Print): 978-3-540-67141-1

ISBN (Electronic): 978-3-540-46541-6

Publication date (Print): 2000

Publication date (Online): March 24 2000

DOI: 10.1007/3-540-46541-3

SO-VID: 3f7fc70b-2b56-4d27-bd07-a6be91a3f0f6

License:

http://www.springer.com/tdm

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 7

Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds
Authors: Tim A. C. Willemse, Maciej Gazda
Moore-Machine Filtering for Timed and Untimed Pattern Matching
Authors: Masaki Waga, Ichiro Hasuo
A Comparison of BDD-Based Parity Game Solvers
Authors: Lisette Sanchez, Wieger Wesselink, Tim A. C. Willemse

See all cited by

STACS 2000

Read this book at