Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
2007.
The Calculus of Computation.
p.
241.
Cimatti, Alessandro
Tian, Chun
and
Tonetta, Stefano
2019.
Runtime Verification.
Vol. 11757,
Issue. ,
p.
165.