I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Interval vs. Point Temporal Logic Model Checking : An Ex..:

Bozzelli, Laura ; Molinari, Alberto ; Montanari, Angelo..
ACM Transactions on Computational Logic (TOCL).  20 (2018)  1 - p. 1-31 , 2018
Link: https://dl.acm.org/doi/10.1145/3281028