Menu
Detecting state coding in STG unfoldings using SAT
Cover image not available

Detecting state coding in STG unfoldings using SAT

Victor Khomenko

Publication Data

Topics

Catalogue Data

ISBD

Buy a copy

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

Detecting state coding in STG unfoldings using SAT by Victor Khomenko. Published by University of Newcastle upon Tyne, Computing Science in 2003. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.