Distinguished Lecture Series of the Max Planck Institute for Software Systems (MPI-SWS)

Event name
Distinguished Lecture Series of the Max Planck Institute for Software Systems (MPI-SWS)
 
Event type
Event for scientific audience
 
Start date
22-09-2021
End date
22-09-2021
 
Country
Germany
 
Event format Veranstaltungsformat
Online

Publications Publikationen



Filter:
Subject:  automated reasoning

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

PreviewAuthor(s)TitleTypeIssue Date
1Kovacs, Laura Algebra-Based Analysis of Polynomial Probabilistic ProgramsPresentation Vortrag22-Sep-2022