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: Parosh Aziz Abdulla 23 träffar

Titel Författare År Språk
1 Verification of Directed Acyclic Ad Hoc Networks Italy Florence 2013 June 3-5 Formal Techniques for Distributed Systems (FORTE 2013) Parosh Aziz Abdulla 2013 Engelska
2 Decision problems in systolic circuit verification Parosh Aziz Abdulla 1990 Engelska
3 Automatic verification of a class of systolic hardware circuits Parosh Aziz Abdulla 1990 Engelska
4 Verification of Dynamic Register Automata December 15–17 2014. India New Delhi IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science Parosh Aziz Abdulla 2014 Engelska
5 Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings Parosh Aziz. Abdulla 2011 Engelska
6 Bisimulation minimization of tree automata Parosh Aziz Abdulla 2006 Engelska
7 Reachability Problems Parosh Aziz Abdulla 2013 Okänt
8 Networked Systems - 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers 2016 Engelska
9 Reachability Problems - 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings Parosh Aziz. Abdulla 2013 Engelska
10 Verification of Software under Relaxed Memory Carl Leonardsson 2016 Engelska
11 Few is Just Enough! - Small Model Theorem for Parameterized Verification and Shape Analysis Frédéric Haziza 2015 Engelska
12 Verification of networks of communicating processes - Reachability problems and decidability issues Othmane Rezine 2017 Engelska
13 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
14 Verification of heap manipulating programs with ordered data by extended forest automata Vietnam Hanoi October 15-18 ATVA 2013 Parosh Aziz Abdulla 2013 Engelska
15 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
16 Counter-Example Guided Fence Insertion under TSO TACAS 2012 Parosh Aziz Abdulla 2012 Engelska
17 Model Checking of Software Systems under Weak Memory Models Tuan-Phong Ngo 2019 Engelska
18 Parameterized Systems - Generalizing and Simplifying Automatic Verification Ahmed Rezine 2008 Engelska
19 The Decidability of Verification under PS 2.0 ELECTR NETWORK 2021 MAR 27-APR 01 30th European Symposium on Programming (ESOP) Held as Part of the 24th European Joint Conferences on Theory and Practice of Software (ETAPS) Parosh Aziz Abdulla 2021 Engelska
20 Parameterized Verification under TSO with Data Types 2023 April 22–27 France Paris ETAPS 2023 Held as Part of the European Joint Conferences on Theory and Practice of Software TACAS 2023 29th International Conference Parosh Aziz Abdulla 2023 Engelska

1 2 Nästa sida

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.