uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Controllers for the Verification of Communicating Multi-Pushdown Systems
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
LSV, ENS Cachan.
Chennai Mathematical Institute.
2014 (English)Conference paper (Refereed)
Place, publisher, year, edition, pages
2014. 297-311 p.
, Lecture Notes in Computer Science
National Category
Computer Systems
URN: urn:nbn:se:uu:diva-237861OAI: oai:DiVA.org:uu-237861DiVA: diva2:769214
Available from: 2014-12-05 Created: 2014-12-05 Last updated: 2014-12-17

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Cyriac, Aiswarya
By organisation
Computer Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 180 hits
ReferencesLink to record
Permanent link

Direct link