scholarly journals Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation

2018 ◽  
Vol 268 ◽  
Author(s):  
John P. Gallagher ◽  
Rob van Glabbeek ◽  
Wendelin Serwe
Keyword(s):  
Program Transformation ◽  
Formal Analysis ◽  
International Workshop ◽  
Sixth International Workshop ◽  
Sixth International

Sixth international workshop on the fragile X and X-linked mental retardation

1994 ◽  
Vol 51 (4) ◽  
pp. 281-293 ◽  
Author(s):  
Grant R. Sutherland ◽  
W. Ted Brown ◽  
Randi Hagerman ◽  
Ed Jenkins ◽  
Herbert Lubs ◽  
...  
Keyword(s):  
Mental Retardation ◽  
Fragile X ◽  
International Workshop ◽  
Sixth International Workshop ◽  
Sixth International
Sign in / Sign up

Export Citation Format

Share Document