Showing 1 - 3
of 3
for search: '',
query time: 0.04s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Author
ETAPS (Conference)
3
SpringerLink (Online service)
2
TACAS (Conference)
1
Bensalem, Saddek,
1
Chechik, Marsha,
1
FPS (Workshop)
more ...
1
FPS (Workshop) Grenoble, France)
1
Lakhnech, Y.
1
Legay, Axel,
1
Piterman, Nir
1
Raskin, Jean-François, 1972-
1
Sifakis, J. 1946-
1
Smolka, Scott A.
1
TACAS (Conference) Eindhoven, Netherlands)
1
TACAS (Conference) Rome, Italy)
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication