A Practitioner's Guide to MDP Model Checking Algorithms

Autor: Hartmanns, A., Junges, S., Quatmann, T., Weininger, M., Sankaranarayanan, S.

Publikováno v: Sankaranarayanan, S. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I, 469-488. Cham : Springer Nature Switzerland
STARTPAGE=469;ENDPAGE=488;ISSN=0302-9743;TITLE=Sankaranarayanan, S. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I

This artefact allows to review and replicate the experiments from the TACAS'23 paperA Practitioner's Guide to MDP Model Checking Algorithms. The package contains all original logfiles and the scripts that extract the relevant data from those logs to

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2ff87296b89b876a9cc5a3beb9804972
https://hdl.handle.net/2066/292364

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Stellen anorektale Fisteln und Abszesse im Säuglings- und Kleinkindesalter eine kongenitale Fehlbildung dar?

Autor: Meyer, T, Weininger, M, Höcht, B

Publikováno v: 122. Kongress der Deutschen Gesellschaft für Chirurgie; 20050405-20050408; München; DOC05dgch2485 /20050615/

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1175::393a038687296ad70d9ae672ad97c61f
http://www.egms.de/en/meetings/dgch2005/05dgch543.shtml