Items where Author is "Fisman, Dana"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Fisman, Dana and Frenkel, Hadar and Zilles, Sandra
(2023) Inferring Symbolic Automata.
Logical Methods in Computer Science, 19 (2).

Fisman, Dana and Frenkel, Hadar and Zilles, Sandra
(2022) Inferring Symbolic Automata.
In: CSL.
Conference: CSL Annual Conference on Computer Science Logic

This list was generated on Wed Oct 8 19:47:56 2025 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.