ESBMC 1.22

Morse, Jeremy, Ramalho Gadelha, Mikhail, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2014) ESBMC 1.22 In, Tools and Algorithms for the Construction and Analysis of Systems. 20th International Conference, TACAS 2014 Springer pp. 405-407. (Lecture Notes in Computer Science, 8413).


[img] PDF denis.pdf - Version of Record
Restricted to Repository staff only

Download (126kB)
Item Type: Book Section
ISBNs: 9783642548628 (print)
ISSNs: 0302-9743 (print)
Venue - Dates: 20th International Conference, TACAS 2014, France, 2014-04-03 - 2014-04-13
Related URLs:
Organisations: Faculty of Physical Sciences and Engineering
ePrint ID: 403798
Date :
Date Event
Date Deposited: 12 Dec 2016 12:08
Last Modified: 17 Apr 2017 00:47
Further Information:Google Scholar

Actions (login required)

View Item View Item