KOPS
English
Deutsch
Log In
User Name
Password
Log in
Please contact the KOPS team if you do not have a user account at the University of Konstanz (kops.kim@uni-konstanz.de)
Have you forgotten your password?
KOPS
Departments
All of DSpace
English
Deutsch
Log In
User Name
Password
Log in
Please contact the KOPS team if you do not have a user account at the University of Konstanz (kops.kim@uni-konstanz.de)
Have you forgotten your password?
Home
Ressourcen
Personen
Tunc, Hünkar Can
Person:
Tunc, Hünkar Can
Loading...
Email Address
ORCID
Birth Date
Research Projects
Organizational Units
Job Title
Last Name
Tunc
First Name
Hünkar Can
Name
1 results
Back to results
Filters
Type
Journal article
1
Search type
Submit
Author
Caltais, Georgiana
1
Tunc, Hünkar Can
1
Search author name
Submit
Date
Start
End
Submit
2021
1
Has files
No
1
Reset filters
Settings
Sort By
Most Relevant
Title Ascending
Date Issued Descending
Accessioned Date Descending
Results per page
1
5
10
20
40
60
80
100
All of DSpace
Search
Search Tools
Search Results
Export
BibTeX
CSV
Now showing
1 - 1 of 1
No Thumbnail Available
Publication
Journal article
Explaining safety failures in NetKAT
(
2021
)
Caltais, Georgiana
;
Tunc, Hünkar Can
Published in: Journal of Logical and Algebraic Methods in Programming ; 121 (2021). - 100676. - Elsevier. - ISSN 2352-2208. - eISSN 2352-2216
