OrDB
ModelDB
Model Database
Home
Data
Search
Schema
Manage
Log in
Paper (s)
having
Vardi E
as
Authors
Name
1
von Gersdorff H, Vardi E, Matthews G, Sterling P (1996)