Daniel Gurovic

Publication Activity (10 Years)

Years Active: 2000-2000
Publications (10 Years): 0

Publications

Daniel Gurovic, Wolfgang Fengler, Jürgen Nützel
Development of real-time system specifications through the refinement of duration interval Petri nets. SMC (2000)