Bibliography
A Logic of Enablement
Berndt Farwer.
A logic of enablement.
Lecture Notes of the MATCH summer school 1998. System Engineering: A
Petri Net Based Approach to Modelling, Verification and Implementation,
1998.
BibTeX
@unpublished{Farwer98c,
Author = {Farwer, Berndt},
Institution = {Universidad de Zaragoza, Spain},
Note = {Lecture Notes of the MATCH summer school 1998. System Engineering:
A {Petri} Net Based Approach to Modelling, Verification and Implementation},
Pages = {361--370},
Title = {A Logic of Enablement},
Year = 1998
}
