| Shelfclass_id | 3.D.3 |
| Sortkey | FINKBEINER, BERND |
| Authors | Bernd Finkbeiner |
| Title | Verification Algorithms Based on Alternating Automata |
| Publisher | University Microfilms International |
| Year | 2003 |
| Languages | eng |
| Record date | 20060629 |
| Location | Ann Arbor |
| Notes | "A dissertation submitted to the Department of Computer Science and the committee of graduate students of Standford University, in partial fulfillment of the requirements for the degree of Doctor of Philosophy" |