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: Anthony W. Lin
8 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Learning to prove safety over parameterised concurrent systems
|
Austria Vienna October 2–6 FMCAD 2017 Yu-Fang Chen
|
2017 |
Engelska |
| 2 |
Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols)
|
US. New York City 2019 July 13-18 31st International Conference on Computer-Aided Verification Chih-Duo Hong
|
2019 |
Engelska |
| 3 |
Fair termination for parameterized probabilistic concurrent systems
|
Sweden Uppsala April 22–29 TACAS 2017 Ondrej Lengál
|
2017 |
Engelska |
| 4 |
Liveness of randomised parameterised systems under arbitrary schedulers
|
Canada Toronto July 17–23 CAV 2016 Anthony W. Lin
|
2016 |
Engelska |
| 5-6 |
Reachability Problems : 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings
(flera utgåvor)
|
Anthony W. Lin
|
uuuu-uuuu |
Okänt |
| 7 |
Regular Symmetry Patterns
|
FL Saint Petersburg January 17–19 VMCAI 2016 Anthony W. Lin
|
2016 |
Engelska |
| 8 |
Reachability Problems: 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings
|
|
2022 |
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.