Author: Toralf Hübner
Publication Overview
Publication period start: 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.
https://dx.doi.org/10.1007/978-3-540-70569-7_5