| Login | Create Account |
Items where Author is Hustadt, Ullrich
Jump to: 2009 Number of items: 2.
2009Bolotov, Alexander and Grigoriev, Oleg (2009) Natural deduction calculus for quantified propositional linear-time temporal logic (QPTL). In: Hustadt, Ullrich, (ed.) Proceedings of the utomated Reasoning Workshop 2009: bridging the gap between theory and practice (ARW 2009), 21st - 22nd April 2009, , Liverpool, United Kingdon. Technical Report (ULCS-09-007). Department of Computer Science, University of Liverpool, pp. 7-8. Basso, Alessandro and Bolotov, Alexander and Getov, Vladimir (2009) State-based behavior specification for GCM systems. In: Hustadt, Ullrich, (ed.) Proceedings of the utomated Reasoning Workshop 2009: bridging the gap between theory and practice (ARW 2009), 21st - 22nd April 2009, , Liverpool, United Kingdon. Technical Report (ULCS-09-007). Department of Computer Science, University of Liverpool, pp. 5-6. |
