Information and Computation

View Statistics Email Alert RSS Feed

Journal description

Title Titel
Information and Computation
 
e-ISSN
1090-2651
 
ISSN
0890-5401
 
Publisher Herausgeber
ACADEMIC PRESS INC ELSEVIER SCIENCE
 
Publisher's Address Herausgeber Adresse
525 B ST, STE 1900, SAN DIEGO, USA, CA, 92101-4495
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

Filter:
Author:  Ábrahám, Erika

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

PreviewAuthor(s)TitleTypeIssue Date
1Dobe, Oyendrila ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo Model checking hyperproperties for Markov decision processesArticle Artikel 2022
2Schupp, Stefan ; Ábrahám, Erika ; Ebert, Tristan Recent developments in theory and tool support for hybrid systems verification with HyProArticle Artikel 2022