Browse by author
Lookup NU author(s): Professor Maciej KoutnyORCiD
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Author(s): Janicki R, Koutny M
Editor(s): Clarke, E.M., Kurshan, R.P.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 2nd Workshop on Computer-Aided Verification (CAV)
Year of Conference: 1991
Publisher: American Mathematical Society
Library holdings: Search Newcastle University Library for this item
Series Title: DIMACS Series in Discrete Mathematics and Theoretical Computer Science