Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Ahmed Rezine 9 träffar

Titel Författare År Språk
1-2 Parameterized systems - generalizing and simplifying automatic verification (flera utgåvor) Ahmed Rezine 2008 Engelska
3 Abstracting and counting synchronizing processes 2014 Engelska
4 MEMORAX, a Precise and Sound Tool for Automatic Fence Insertion under TSO Italy Rome 2013 March 16-24 ETAPS 2013 Held as Part of the European Joint Conferences on Theory and Practice of Software TACAS 2013 19th International Conference Parosh Aziz Abdulla 2013 Engelska
5 An Integrated Specification and Verification Technique for Highly Concurrent Data Structures ITALY Rome 2013 16-24 March 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Parosh Aziz Abdulla 2013 Engelska
6 Counter-Example Guided Fence Insertion under TSO TACAS 2012 Parosh Aziz Abdulla 2012 Engelska
7 Caches, Transactions and Memories - Models, Coherence and Consistency Yunyun Zhu 2018 Engelska
8 Parameterized verification of synchronized concurrent programs Zeinab Ganjei 2021 Engelska
9 Verifying Safety of Parameterized Heard-Of Algorithms NETYS 2020 Networked Systems. 8th International Conference Zeinab Ganjei 2021 Engelska

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.