Showing
1 - 2
results of
2
for search '
"temporal logic"
'
Skip to content
VuFind
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Page will reload when a filter is removed.
Reset Filters
Applied Filters:
Author:
Remove Filter
Marieke Huisman
Page will reload when a filter is removed.
Reset Filters
Show filters (1)
Author:
Remove Filter
Marieke Huisman
Search Results - "temporal logic"
Showing
1 - 2
results of
2
for search '
"temporal logic"
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
by
Dirk Beyer
Published 2018
DOAB: download the publication
DOAB: description of the publication
Electronic
Book Chapter
Save to List
Saved in:
2
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
by
Dirk Beyer
Published 2018
DOAB: download the publication
DOAB: description of the publication
Electronic
Book Chapter
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Institution
Directory of Open Access Books
2 results
2
Library
DOAB
2 results
2
Author
Dirk Beyer
2 results
2
Marieke Huisman
Language
English
2 results
2
Year of Publication
From:
To: