Name Card

Full name Familienname, Vorname
Heljanko, Keijo
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Yu-2023-Towards Compositional Hardware Model Checking Certification-vor.pdf.jpgYu, Emily ; Froleyks, Nils ; Biere, Armin ; Heljanko, Keijo Towards Compositional Hardware Model Checking CertificationInproceedings Konferenzbeitrag Oct-2023
2Yu-2022-Stratified Certification for k-Induction-vor.pdf.jpgYu, Emily ; Frolyeks, Nils ; Biere, Armin ; Heljanko, Keijo Stratified Certification for k-InductionKonferenzbeitrag Inproceedings Oct-2022