Cover image not available

Decidability of model checking for infinite-state concurrent systems

Javier Esparza

Publication Data

Title Decidability of model checking for infinite-state concurrent systems
Author Javier Esparza
Contributor
Publisher Univ. of Edinburgh, Department of Computer Science
Publication date 1994
Publication location Edinburgh
Language English

Topics

Scotland

Catalogue Data

OBNB ID GB9635019
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book

ISBD

P1053 27p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Decidability of model checking for infinite-state concurrent systems by Javier Esparza. Published by Univ. of Edinburgh, Department of Computer Science in 1994. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.