Jump to main content
UiO
The Faculty of Mathematics and Natural Sciences
Department of Informatics
No
En
Menu
For employees
My studies
Search our webpages
Search
Home
Research
Studies
Student life
Services and tools
About the department
People
Go to uio.no
Sub menu
Research
Research groups
Reliable systems (PSY)
Completed Master's theses
2019
Partially Ordered Sets with Interfaces: A Novel Algebraic Approach for Concurrrency
Timed Linear Temporal Logic of Rewriting Model Checking for Real-Time Maude
Verification of Haskell programs using Liquid Haskell
Research
>
Research groups
>
Reliable systems (PSY)
>
Completed Master's theses
>
2019
>
Timed Linear Temporal Logic of Rewriting Model Checking for Real-Time Maude
Timed Linear Temporal Logic of Rewriting Model Checking for Real-Time Maude
See the
announcement here.
By
Tore Norderud
Published
June 27, 2019 2:01 PM
-
Last modified
July 1, 2019 7:01 AM
E-mail this page
Share on Facebook
Share on Twitter