PROD Reference Manual

K. Varpaaniemi, J. Halme, K. Hiekkanen, T. Pyssysalo

    Research output: Working paperProfessional

    Original languageEnglish
    Place of PublicationEspoo
    Pages56
    Publication statusPublished - 1995
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameDigital Systems Laboratory
    PublisherTKK
    No.B 13

    Keywords

    • on-the-fly verification
    • Pr/T-nets
    • stubborn sets

    Cite this