Abstraction-based Model Checking of Linear Temporal Properties

Contributor - Author	Mondok, Milán
Contributor - Author	Vörös, András
Date - Accessioned	2021-03-05T10:26:08Z
Date - Available	2021-03-05T10:26:08Z
Date - Issued	2020
Identifier - URI	http://hdl.handle.net/10890/15168
Language	en
Title	Abstraction-based Model Checking of Linear Temporal Properties
Type	könyvfejezet
Accessrights	Open access
Rightsholder	Budapest University of Technology and Economics
Conference Date	February 5-6, 2020
Conference Place	Budapest
Conference Title	27th PhD Minisymposium of the Department of Measurement and Information Systems
Container Date Issued	2020
Container Publisher	Budapest University of Technology and Economics
Container Publisher Place	Online
Container Title	Proceedings of the 27th PhD Minisymposium of the Department of Measurement and Information Systems
Department	Department of Measurement and Information Systems
Description Version	Post print
First Page	29
Last Page	32
Type Type	Konferenciacikk
University	Budapest University of Technology and Economics

Files

Now showing 1 - 1 of 1