Translation validation of coloured Petri net models of programs on integers

Autor:	Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan Mandal, Holger Giese
Rok vydání:	2022
Předmět:	Computer Networks and Communications Software Information Systems
Zdroj:	Acta Informatica. 59:725-759
ISSN:	1432-0525 0001-5903
DOI:	10.1007/s00236-022-00419-z
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::58a84578766971d77af4da29195873b6 https://doi.org/10.1007/s00236-022-00419-z Zobrazit plný text záznamu Plný text ve formátu PDF Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.