[{"type":"chapter","title":"Alternative proof procedures for finite-state machines in higher-order logic","issued":{"date-parts":[["1994"]]},"author":[{"family":"Schneider","given":"Klaus"},{"family":"Kumar","given":"Ramayya"},{"family":"Kropf","given":"Thomas"}],"note":"In: Higher order logic theorem proving and its applications. Ed.: J.J. Joyce. Berlin 1994. S. 213-226. (Lecture notes in computer science. 780.)","kit-publication-id":"31894"}]