Theoretical Aspects of Software Engineering : 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Theoretical Aspects of Software Engineering : 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings
 
ISBN
978-3-031-35257-7
 
Publisher Verlag
Springer
 
Place of publishing Erscheinungsort
Cham
 
Volume Band
13931
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Delicaris, Joanna ; Schupp, Stefan ; Ábrahám, Erika ; Remke, Anne Maximizing Reachability Probabilities in Rectangular Automata with Random ClocksInproceedings Konferenzbeitrag 2023