Parameterised Pushdown Systems with Non‐Atomic Writes. / Hague, Matthew.

FSTTCS: Foundations of Software Technology and Theoretical Computer Science. 2011.

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

Published
Original languageEnglish
Title of host publicationFSTTCS: Foundations of Software Technology and Theoretical Computer Science
Publication statusPublished - 2011
EventFSTTCS: Foundations of Software Technology and Theoretical Computer Science - Mumbai, India
Duration: 15 Dec 201117 Dec 2011

Conference

ConferenceFSTTCS: Foundations of Software Technology and Theoretical Computer Science
CountryIndia
CityMumbai
Period15/12/1117/12/11

ID: 25573069