Author:
Fredlund, Lars-Åke (KTH, Microelectronics and Information Technology)
Title:
A Framework for Reasoning about ERLANG Code
Department:
KTH, Microelectronics and Information Technology
Publication type:
Doctoral thesis, monograph (Other scientific)
Publisher:
Mikroelektronik och informationsteknik
Series:
Trita-IT. AVH; 01:04
URI:
urn:nbn:se:kth:diva-3210
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-3210
Public defence:
2001-09-14
Available from:
2001-09-07
Statistics:
279 hits