UPSpace Home
→
Engineering, Built Environment and Information Technology
→
Computer Science
→
Technical Reports (Computer Science)
→
Search

Search

Filters

Use filters to refine the search results.

Current Filters:






New Filters:

Showing 1 out of a total of 1 results for collection: Technical Reports (Computer Science). (0.001 seconds)

Now showing items 1-1 of 1

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

Parameterised three-valued model checking

Timm, Nils; Gruner, Stefan (University of Pretoria, 2015-10-07)

Now showing items 1-1 of 1

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

Browse

All of UPSpace
This Collection
- Issue Date
- Authors
- Titles
- Subjects
- Supervisor
- UP Author
- UP Postgraduate
- Type

My Account

UPSpace Workspace

Discover

Author
- Gruner, Stefan (1)
- Timm, Nils (1)
Subject
- Formal methods (1)
- Model checking (1)
- Theoretical computer science (1)
- ... View More
Date Issued
- 2015 (1)
Has File(s)
- true (1)