Items where Division is "Bernd Finkbeiner (Reactive Systems Group, RSG)" and Year is 2018

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Author(s)/Creator(s) | Item Type | No Grouping
Jump to: F
Number of items: 1.

F

Frenkel, Hadar and Grumberg, Orna and Sheinvald, Sarai
(2018) An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains.
Journal of Automated Reasoning, 63 (4). pp. 1077-1101.

This list was generated on Mon May 6 11:54:53 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.