Amanote Research
Register
Sign In
Latticed Simulation Relations and Games
doi 10.1007/978-3-540-75596-8_23
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Orna Kupferman
Yoad Lustig
Publisher
Springer Berlin Heidelberg