Skip to main content
Collections
All Contents
Statistics
Units
Researchers
Search
Log In
Log in
New user? Click here to register.
Have you forgotten your password?
Log in with Kunet ID
Home
Research Outputs
Research Outputs
Permanent URI for this community
https://hdl.handle.net/20.500.14288/2
Browse
Search
Subcommunities and Collections
By Issue Date
By KU Author
By Title
By Subject
By Type
By Quartile
By Indexed at
By Publisher Scope
By Department
Search
Subcommunities and Collections
By Issue Date
By KU Author
By Title
By Subject
By Type
By Quartile
By Indexed at
By Publisher Scope
By Department
1 results
Back to results
Filters
Author
search.filters.author.Mutluergil, Süha Orhun
Subject
search.filters.subject.Electronic data processing
1
search.filters.subject.Computer multitasking
1
search.filters.subject.Computer multitasking Software
1
search.filters.subject.Concurrent libraries
1
search.filters.subject.Koşut zamanlı yazılım kütüphaneleri
Show more
Search subject
Submit
Date
Start
End
Submit
2018
1
Full Text
1
Yes
Entity Type
1
Publication
Item Type
1
search.filters.itemtype.Thesis
Reset filters
Advanced Search
Filter by
Filters
Title
Author
Subject
Entity Type
Operators
Equals
Not Equals
Authority
Not Authority
Contains
Not Contains
Query
Search Title
Submit
Add
Settings
Sort By
Title Ascending
Accessioned Date Descending
Most Relevant
Date Issued Descending
Results per page
1
5
10
20
40
60
80
100
Search
Author: search.filters.author.Mutluergil, Süha Orhun
×
Subject: search.filters.subject.Electronic data processing
×
Search Tools
Search Results
Now showing
1 - 1 of 1
Publication
Restricted
Verification of concurrent programs via refinement proofs
(
Koç University
,
2018
)
Mutluergil, Süha Orhun
;
Gürsoy, Attila
;
Enea, Constantin
;
0000-0002-2297-2113
;
Koç University Graduate School of Sciences and Engineering
;
Computer Science and Engineering
;
8745
Show more
