No description available of Zmago Brezocnik...
Brezocnik, Zmago and Horvat, Bogomir (1988): Automatic Formal Verification of Digital Systems Using Prolog. In ACM SIGCHI Bulletin, 19 (4) pp. 13-14
Do you have any comments/additions that you would like visitors to this page to see? Please submit your comments for the benefit of other visitors!
Publication period:1988-1988
Publication count:1
Number of co-authors:1
Zmago Brezocnik's 3 most productive colleagues in number of publications:
Bogomir Horvat:1Number of publications with 3 favourite co-authors:
Bogomir Horvat:1Learn more about Zmago Brezocnik:
- Google Scholar
- ACM
- CSB
Spare 2 minutes and help us!
Examples:
» Link to us
» Contribute to the calendar
» Write an encyclopedia entry
» Write a misDesign
» Become an editor
» Join the Advisory Board