Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-2 of 2)
Katz, Graham
1 2007 Annotating, extracting and reasoning about time and events : international seminar, Dagstuhl Castle, Germany, April 10-15, 2005 : revised papers Rating: Electronic Resources More...
Katz, Guy
2 2023 Software verification and formal methods for ML-enabled autonomous systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems (5th : 2022 : Haifa, Israel) Rating: Electronic Resources
Add Marked to Bag Add All On Page Locate in results

Annotating, extracting and reasoning about time and events : international seminar, Dagstuhl Castle, Germany, April 10-15, 2005 : revised papers