LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic

• Authors:

• Akio Nakata;Teruo Higashino;Kenichi Taniguchi

• Affiliations:

• -;-;-

• Venue:
• FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI
• Year:
• 1993