APAC: A tool for Reasoning about Abstract Probabilistic Automata

Benoît Delahaye, Kim Guldstrand Larsen, Alex Legay, Mikkel L. Pedersen, Andrzej Wasowski

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

8 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'APAC: A tool for Reasoning about Abstract Probabilistic Automata'. Sammen danner de et unikt fingeraftryk.

Computer Science