Author: Zoltán Hidvégi
Publications
Publication period start: 2000
Number of co-authors: 3
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
Publications
Wang, Wenli, Hidvégi, Zoltán, Jr., Andrew D. Bailey, Whinston, Andrew B. (2000): E-Process Design and Assurance Using Model Checking. In IEEE Computer, 33 (10) pp. 48-53. https://csdl.computer.org/comp/mags/co/2000/10/rx048abs.htm