Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Nicoletti, S.M."'
Publikováno v:
Chechik, M. (ed.), Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings, pp. 199-221
Contains fulltext : 292154.pdf (Publisher’s version ) (Closed access) FM 2023
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1236::56d4d6b35814b2f9b1f1e605bd708ae5
https://repository.ubn.ru.nl/handle/2066/292154
https://repository.ubn.ru.nl/handle/2066/292154
Publikováno v:
Laarman, A. (ed.), Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings, 3-21. Cham : Springer International Publishing
STARTPAGE=3;ENDPAGE=21;ISSN=0302-9743;TITLE=Laarman, A. (ed.), Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
STARTPAGE=3;ENDPAGE=21;ISSN=0302-9743;TITLE=Laarman, A. (ed.), Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::30aaa196ade507f3915589a84165aa4d
http://hdl.handle.net/2066/236609
http://hdl.handle.net/2066/236609
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.