Position: 
Co-Autors
1 Publications
1991
P. Jenkins, Enric Plaza; Co-Chairmen's introduction. Proceedings of EUROVAV-91: European Workshop on the Verification of Knowledge Based Systems; 1991.
 

No results found