×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [semantics of tla formulas]
Home >
semantics of tla formulas
Temporal Logic of Actions (TLA) Leslie Lamport John A. Akinyemi Department of Computer Science University of Manitoba, Winnipeg, Canada Course: 74.757.
219 views