Executable Model and Temporal Logics: Proceedings of the IJCAI '93 Workshop, Chambery, France, August 28, 1993

• Authors:

• Richard Owens;Michael Fisher

• Affiliations:

• -;-

• Venue:
• Executable Model and Temporal Logics: Proceedings of the IJCAI '93 Workshop, Chambery, France, August 28, 1993
• Year:
• 1995