University of Illinois Chicago
Browse

Real-time system specification and analysis using Petri nets and temporal logics.

book
posted on 2025-05-30, 12:03 authored by Jenn-Hwa. Yang
Real-time system specification and analysis using Petri nets and temporal logics.

History

Degree Grantor

University of Illinois at Chicago.

Degree Level

  • Doctoral

Language

  • en

Usage metrics

    Categories

    No categories selected

    Keywords

    Engineering, Electronics and Electrical.

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC