Computer Aided Verification: 30th International Conference, CAV 2018

Book title Buchtitel

ISBN

978-3-319-96144-6

Editor Herausgeber_in

Chockler, Hana
Weissenbacher, Georg

Publisher Herausgeber

Springer

Place of publishing Erscheinungsort

Cham

DOI

10.1007/978-3-319-96145-3

Volume Band

10981

Results 1-2 of 2 (Search time: 0.001 seconds).

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Bartocci, Ezio ; Bloem, Roderick ; Nickovic, Dejan ; Roeck, Franz	A Counting Semantics for Monitoring LTL Specifications over Finite Traces	Konferenzbeitrag Inproceedings	2018
	2		Kong, Hui ; Bartocci, Ezio ; Henzinger, Thomas A.	Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes	Konferenzbeitrag Inproceedings	2018