On the specification of real-time systems using logic programming

This publication has 4 references indexed in Scilit:

• RT-ASLAN: A specification language for real-time systems
  IEEE Transactions on Software Engineering, 1986
• Towards a general theory of action and time
  Artificial Intelligence, 1984
• Foundations of Logic Programming
  Published by Springer Nature ,1984
• Toward a discipline of real-time programming
  Communications of the ACM, 1977