Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
[tool] Add To Shelf...
Group by: Authors/Creators | Item Type | No Grouping
Jump to: T
Number of items: 1.


Tomasco, Ermenegildo, Inverso, Omar, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro MU-CSeq: sequentialization of c programs by shared memory unwindings (competition contribution). In, TACAS SV-COMP

This list was generated on Sat Jun 14 02:43:07 2014 BST.