Generated Models and the omega-Rule: The Nondeterministic Case

• Authors:

• Michal Walicki;Sigurd Meldal

• Affiliations:

• -;-

• Venue:
• TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
• Year:
• 1995