To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

Development of a verified… - University of Gothenburg, Sweden Till startsida
To content Read more about how we use cookies on

Development of a verified Erlang program for resource locking

Journal article
Authors Thomas Arts
Clara Benac Earle
John Derrick
Published in Int. Journal on Software Tools for Technology Transfer
Volume 5
Issue 2-3
Pages 205-220
Publication year 2004
Published at Department of Applied Information Technology (GU)
Pages 205-220
Language en
Subject categories
Page Manager: Webmaster|Last update: 9/11/2012

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?