Deriving real-time action systems in a sampling logic

@article{Dongol2013DerivingRA,
  title={Deriving real-time action systems in a sampling logic},
  author={Brijesh Dongol and Ian J. Hayes},
  journal={Sci. Comput. Program.},
  year={2013},
  volume={78},
  pages={2047-2063}
}
Recent Discussions
This paper has been referenced on Twitter 1 time over the past 90 days. VIEW TWEETS

From This Paper

Topics from this paper.
8 Citations
0 References
Similar Papers