TCS / Research / Publications / Automated Interpretation of S-Invariants of Predicate/Transition Nets: An Application of Non-Classical Logics
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Automated Interpretation of S-Invariants of Predicate/Transition Nets: An Application of Non-Classical Logics

Reference:

Abbas Moslemie. Automated interpretation of S-invariants of predicate/transition nets: An application of non-classical logics. Research Report A15, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, October 1991.

Suggested BibTeX entry:

@techreport{HUT-TCS-A15,
    address = {Espoo, Finland},
    author = {Abbas Moslemie},
    institution = {Helsinki University of Technology, Digital Systems Laboratory},
    month = {October},
    number = {A15},
    pages = {31},
    title = {Automated Interpretation of {S}-Invariants of Predicate/Transition Nets: An Application of Non-Classical Logics},
    type = {Research Report},
    year = {1991},
}

This work is not available online here.

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.