| |
| 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) | |
| 1 | Andrej Duh | [2] |
| 2 | Bogomir Horvat | [2] |
| 3 | Tatjana Kapus | [1] [2] [3] [4] [5] |
| 4 | Robert Meolic | [5] |
| 5 | Gregor Vrecko | [2] |