Title | Date | Type | Setname | ||
---|---|---|---|---|---|
1 | Zo: A framework for autonomous agent behavior specification and analysis | 1990 | Text | ir_uspace | |
2 | Specification-driven design of custom hardware in HOP | 1988 | Text | ir_uspace | |
3 | The electronic check-out program: a school-based note program to improve on-task behavior | 2017 | Text | ir_etd |