[ Back to Record ]

  1. Bib ID# 34654
    ISBN: 9783540686354
    UPC: 10.1007/978-3-540-68635-4
    Title: Temporal Logic and State Systems
    Author: Kröger, Fred.
    Publication Info:
    Item Type: Language material

[ Back to Record ]