| 2008 |
|---|
| 5 | EE | Robert 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 |
|---|
| 3 | EE | Tatjana 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) |
