Programming Languages and Systems

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Programming Languages and Systems
 
Publisher Herausgeber
Springer / LNCS
 
Place of publishing Erscheinungsort
7792
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen


Filter:
Date Issued:  [2000 TO 2024]
Author:  Katoen, Joost-Pieter

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

PreviewAuthor(s)TitleTypeIssue Date
1Moosbrugger, Marcel ; Bartocci, Ezio ; Katoen, Joost-Pieter ; Kovács, Laura Automated Termination Analysis of Polynomial Probabilistic ProgramsKonferenzbeitrag Inproceedings2021