Zmago Brezocnik

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1988
Publication period end
1988
Number of co-authors
1

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Brezocnik, Zmago, Horvat, Bogomir (1988): Automatic Formal Verification of Digital Systems Using Prolog. In ACM SIGCHI Bulletin, 19 (4) pp. 13-14.