New Directions in Symbolic Model Checking (Uppsala Dissertations from the Faculty of Science & Technology, 50)

by Julien D'Orso Paperback details (United States). ISBN: 978-91-554-5781-5 ISBN-10: 91-554-5781-9 Uppsala Universitet · 2003