Skip to navigation
Skip to content
Business Informatics Group
-
Vienna University of Technology
Navigation
Home
People
Current page is
Teaching
Courses
Offered Topics
Masters' Theses
Diploma seminar
PhD Theses
PhD seminar
Rooms/Projectors
Further Information
Publications
Projects
You are here:
Home
>
Teaching
>
PhD Theses
>
Formal Specification of Distributed Systems - A Discrete Space-Time Logic
Formal Specification of Distributed Systems - A Discrete Space-Time Logic
By
Robert Barta
.
This work has been finished in April 1995.