Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral -continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team.
 
The LTS WorkBench
File(s)
1508.04853v1.pdf (293.87 KB)
Published version
Author(s)
Scalas, A
Bartoletti, M
Type
Journal Article
Editor(s)
Knight, S
Lanese, I
Lluch Lafuente, A
Torres Vieira, H
Date Issued
2015-08-20
Date Acceptance
2015-08-20
Citation
Electronic Proceedings in Theoretical Computer Science, 2015, 189, pp.86-98
URI
DOI
Start Page
86
End Page
98
Journal / Book Title
Electronic Proceedings in Theoretical Computer Science
Volume
189
Copyright Statement
© 2015 The Author(s).
Sponsor
Engineering & Physical Science Research Council (EPSRC)
Grant Number
EP/K011715/1
Subjects
cs.LO
cs.PL
cs.SE
D.2.2; D.3.1; F.3.2
Publication Status
Published