Full name Familienname, Vorname
Biere, Armin
 
Main Affiliation Organisationszuordnung
 
Personal site Persönliche Website
 

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Froleyks-2021-Single Clause Assumption without Activation Literals to Spe...-vor.pdf.jpgFroleyks, Nils  ; Biere, Armin  Single Clause Assumption without Activation Literals to Speed-up IC3Inproceedings Konferenzbeitrag Oct-2021