2023 10th International Conference on Dependable Systems and Their Applications (DSA)

Book title Buchtitel

ISBN

979-8-3503-0477-0

Publisher Herausgeber

IEEE

DOI

10.1109/DSA59317.2023

Results 1-1 of 1 (Search time: 0.002 seconds).

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Luckeneder, Christoph ; Hoch, Ralph ; Kaindl, Hermann	Towards Using Structural Abstraction for Model Checking	Inproceedings Konferenzbeitrag	14-Nov-2023