Autor:	Vaandrager, F., Garhewal, B., Rot, J., Wissmann, T., Fisman, D.
Rok vydání:	2022
Zdroj:	Fisman, D. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I, 223-243. Cham : Springer STARTPAGE=223;ENDPAGE=243;ISSN=0302-9743;TITLE=Fisman, D. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I
ISSN:	0302-9743
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1e2d07e3baec73af03399018d0a3d9cf http://hdl.handle.net/2066/250772 Zobrazit plný text záznamu