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},
}
|