Show simple item record

Bajkai, Viktória Dorina
Hajdu, Ákos
2021-03-05T15:34:53Z
2021-03-05T15:34:53Z
2019
http://hdl.handle.net/10890/15172
en
Software Model Checking with a Combination of Explicit Values and Predicates
könyvfejezet
Published
Open access
Budapest University of Technology and Economics
January 24, 2019
Budapest University of Technology and Economics
Department of Measurement and Information Systems
Budapest University of Technology and Economics
2019
Budapest University of Technology and Economics
Online
Proceedings of the 26th Minisymposium
Konferenciacikk
26th Minisymposium
4
7


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record