Q1935964
type: Item
instance of: scholarly article
title: Tools and algorithms for the construction and analysis of systems. 19th international conference, TACAS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16--24, 2013. Proceedings
zbMATH Open document ID: 1268.68030
DOI: 10.1007/978-3-642-36742-7
published in: Lecture Notes in Computer Science
publication date: 2013-02-20T00:00:00Z
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 6137624
describes a project that uses: PRISM
describes a project that uses: UFO
describes a project that uses: PIC2LNT
describes a project that uses: LLBMC
describes a project that uses: BULL
describes a project that uses: PRISM-games
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-642-36742-7
OpenAlex ID: W2486916996
label: Tools and algorithms for the construction and analysis of systems. 19th international conference, TACAS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16--24, 2013. Proceedings
description: scientific article; zbMATH DE number 6137624