Showing
1 - 10
results of
10
for search '
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Reset Filters
Author:
Aceto, Luca
Reset Filters
Show filters (1)
Author:
Aceto, Luca
Search Results - Open Polar
Search Results
Showing
1 - 10
results of
10
for search '
'
, query time: 0.08s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Automata, Languages and Programming, 35th International Colloquium, ICALP 2008,...
Get access
Automata, Languages and Programming, 35th International Colloquium, ICALP 2008,...
Get access
Automata, Languages and Programming, 35th International Colloquium, ICALP 2008,...
Get access
Automata, Languages and Programming, 35th International Colloquium, ICALP 2008,...
Get access
Proceedings First International Workshop on Process Algebra and Coordination
Get access
Get access
Automata, Languages and Programming:35th International Colloquium, ICALP 2008, R...
Get access
Get access
Automata, Languages and Programming:35th International Colloquium, ICALP 2008, R...
Get access
Get access
Proceedings First International Workshop on Process Algebra and Coordination
Get access
Get access
Reactive Systems:Modelling, Specification and Verification
Get access
Reactive Systems
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Back
Narrow Search
Year of Publication
From:
To:
Document Type
Book
8
Text
2
Author
Aceto, Luca
Walukiewicz, Igor
6
Ingolfsdottir, Anna
5
Ann Goldberg, Leslie
4
Damgard, Ivan
4
M. Halldorsson, Magnus
4
Ingólfsdóttir, Anna
3
Goldberg, Leslie Ann
2
Halldórsson, Magnús M.
2
Larsen, Kim Guldstrand
2
Mousavi, Mohammad Reza
2
Srba, Jiri
2
Damgård, Ivan Bjerre
1
see all ...
Topic
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
4
Computer Science - Logic in Computer Science
1
Computer Science - Programming Languages
1
FOS Computer and information sciences
1
Logic in Computer Science cs.LO
1
Programming Languages cs.PL
1
bisimulation
1
process algebra
1
reactive systems
1
real-time systems
1
temporal logic
1
see all ...
Content Provider
Aarhus University: Research
2
Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe)
2
Université de Nantes: HAL-UNIV-NANTES
2
Aalborg University's Research Portal
1
ArXiv.org (Cornell University Library)
1
Cambridge University Press
1
DataCite Metadata Store (German National Library of Science and Technology)
1
see all ...
Geographic location
Hennessy
1
Language
English
7
unknown
3
Open Polar Keyword
Iceland
10
Loading...