Showing 1 - 4
of 4
for search: '',
query time: 0.08s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: Roşu, Grigore
Institution
Collection
Format
Subject
Author
Roşu, Grigore
4
SpringerLink (Online service)
2
ETAPS (Conference)
2
Fisman, Dana
2
TACAS (Conference)
2
TACAS (Conference) Munich, Germany)
more ...
1
FORTE 2012
1
Giese, Holger
1
International Conference on Formal Methods for Open Object-Based Distributed Systems
1
International Conference on Formal Methods for Open Object-Based Distributed Systems Stockholm, Sweden)
1
International SPIN Workshop
1
International SPIN Workshop Online)
1
Legunsen, Owolabi
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication