Toralf Hübner

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
2008
Publication period end
2008
Number of co-authors
2

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Dittmar, Anke, Hübner, Toralf, Forbrig, Peter (2008): HOPS: A Prototypical Specification Tool for Interactive Systems. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 58-71. http://dx.doi.org/10.1007/978-3-540-70569-7_5