Ivrii, Alexander

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Ivrii, Alexander
 
Main Affiliation Organisations­zuordnung
 

Contributing Publications Mitbeteiligte Publikationen


Filter:
Author:  Gleiss, Bernhard

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

PreviewAuthor(s)TitleTypeIssue Date
1Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura Trace Logic for Inductive Loop ReasoningKonferenzbeitrag Inproceedings 2020
233_Trace Logic for Inductive Loop Reasoning.pdf.jpgGeorgiou, Pamina ; Gleiss, Bernhard ; Kovács, Laura Trace Logic for Inductive Loop ReasoningKonferenzbeitrag Inproceedings 2020