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: Yu-Fang Chen 5 träffar

Titel Författare År Språk
1 A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) ITALY Rome Faculty of Civil and Industrial Engineering Sapienza University of Rome 2023 JUL 01-04 29th International Conference on Automated Deduction (CADE) Yu-Fang Chen 2023 Engelska
2 Learning to prove safety over parameterised concurrent systems Austria Vienna October 2–6 FMCAD 2017 Yu-Fang Chen 2017 Engelska
3 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
4 Counter-Example Guided Fence Insertion under TSO TACAS 2012 Parosh Aziz Abdulla 2012 Engelska
5 Automated Technology for Verification and Analysis Yu-Fang Chen uuuu-uuuu Okänt

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.