Semantics of temporal constrained objects
Kannimoola, Jinesh M., Jayaraman, Bharat, Achuthan, KrishnashreeVolume:
119
Journal:
Journal of Logical and Algebraic Methods in Programming
DOI:
10.1016/j.jlamp.2020.100632
Date:
February, 2021
File:
PDF, 446 KB
2021