Model checking for flat systems and temporal logic with counting

dc.affiliation.institute	Institut für Softwaretechnik und Programmiersprachen	de
dc.contributor.author	Decker, Normann
dc.contributor.referee	Leucker, Martin
dc.contributor.referee	Esparza, Javier
dc.date.accepted	2021
dc.date.accessioned	2023-08-01T06:46:39Z
dc.date.available	2023-08-01T06:46:39Z
dc.date.issued	2021
dc.identifier.dnbppn	1225576393
dc.identifier.gbvppn	174733135X
dc.identifier.uri	https://epub.uni-luebeck.de/handle/zhb_hl/1231
dc.identifier.urn	urn:nbn:de:gbv:841-20200804290
dc.language	eng
dc.language.iso	en
dc.language.rfc3066	en-US
dc.publisher.department	Sektion Informatik / Technik	de
dc.publisher.place	Lübeck	de
dc.subject.ddc	4
dc.title	Model checking for flat systems and temporal logic with counting	en
dc.type	thesis.doctoral

Dateien

Gerade angezeigt 1 - 1 von 1