Language
Publisher
Subjects
-
All (
) -
Free, open source ( )
2Result(s)for '"Ölveczky Peter"'
Resource list
By Ölveczky Peter in LISP and Symbolic Computation
ISSN:1388-3690|20|1-2|161-196
Springer Publishing Company (2007)
Access to resources
Favorite
19.402397
By Ölveczky Peter Meseguer José Talcott Carolyn in Formal Methods in System Design
ISSN:0925-9856|29|3|253-293
Springer Publishing Company (2006)
Access to resources
Favorite
11.641439