dblp.uni-trier.dewww.uni-trier.de

Zmago Brezocnik

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
5EERobert Meolic, Tatjana Kapus, Zmago Brezocnik: ACTLW - An action-based computation tree logic with unless operator. Inf. Sci. 178(6): 1542-1557 (2008)
1999
4 Tatjana Kapus, Zmago Brezocnik: Specifying and Verifying Dataflow Networks in TLA. Applied Informatics 1999: 544-547
1997
3EETatjana Kapus, Zmago Brezocnik: TLA-style Specification of a Mobile Network. EUROMICRO 1997: 440-447
2 Gregor Vrecko, Zmago Brezocnik, Tatjana Kapus, Bogomir Horvat, Andrej Duh: Microcomputer unit for control of distributed devices over computer networks. Journal of Systems Architecture 43(1-5): 81-85 (1997)
1 Tatjana Kapus, Zmago Brezocnik: Verification of XTP Context Management Closing Procedure in Style of TLA. Sci. Comput. Program. 29(1-2): 23-52 (1997)

Coauthor Index

1Andrej Duh [2]
2Bogomir Horvat [2]
3Tatjana Kapus [1] [2] [3] [4] [5]
4Robert Meolic [5]
5Gregor Vrecko [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)