Skip to content

Long-run Satisfaction of Path Properties.

Christel Baier, Nathalie Bertrand, Jakob Piribauer, Ocan Sankur

VenueA*LICS
Year2019
ProceedingsLICS

Browse the full LICS paper archive.