Analysing Mu‐Calculus Properties of Pushdown Systems (Tool Presentation)

Matthew Hague, C.-H. Luke Ong

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationSPIN
Publication statusPublished - 2010
EventSPIN - Twente, Netherlands
Duration: 27 Sep 201029 Sep 2010

Conference

ConferenceSPIN
Country/TerritoryNetherlands
CityTwente
Period27/09/1029/09/10

Cite this