Analysing Mu‐Calculus Properties of Pushdown Systems (Tool Presentation). / Hague, Matthew; Ong, C.-H. Luke.

SPIN. 2010.

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

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

Conference

ConferenceSPIN
CountryNetherlands
CityTwente
Period27/09/1029/09/10

Research outputs

ID: 25573145