You are not logged in |
Formalizm do specyfikacji komponentów w oparciu o logikę liniowo-temporalną -- work in progress
- Speaker(s)
- Artur Zawłocki
- Affiliation
- Uniwersytet Warszawski
- Date
- March 30, 2009, 10:15 a.m.
- Room
- room 4790
- Seminar
- Seminar Semantics, Logic, Verification and its Applications
