Formally specifying temporal constraints and error recovery Conferences

authors

• Kent, SJH
• Maibaum, Thomas
• Quirk, WJ

status

• accepted 

publication date

• January 1, 1993

published in

• Proceedings of the IEEE International Conference on Requirements Engineering  Journal

presented at event

• [1993] IEEE International Symposium on Requirements Engineering  Conference

keywords

• 46 Information and Computing Sciences
• 4602 Artificial Intelligence
• 50 Philosophy and Religious Studies
• 5003 Philosophy

Digital Object Identifier (DOI)

• 10.1109/isre.1993.324856

International Standard Book Number (ISBN) 10

• 0-8186-3120-1

start page

• 208

end page

• 215