Who is the author of the paper 'Verifying Properties of HMS Machine Specifications of Real-Time Systems'?
Who wrote the paper 'Verifying Properties of HMS Machine Specifications of Real-Time Systems'?
SELECT DISTINCT ?answer WHERE { <https://dblp.org/rec/conf/cav/GabrielianI91> <https://dblp.org/rdf/schema#authoredBy> ?answer }
<https://dblp.org/rec/conf/cav/GabrielianI91>