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

Matthew Hague, C.-H. Luke Ong

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original languageEnglish
Title of host publicationSPIN
Publication statusPublished - 2010
EventSPIN - Twente, Netherlands
Duration: 27 Sept 2010 → 29 Sept 2010

Conference

ConferenceSPIN
Country/TerritoryNetherlands
CityTwente
Period27/09/10 → 29/09/10

Cite this