Change search
ReferencesLink to record
Permanent link

Direct link
A Framework for Reasoning about ERLANG Code
KTH, Superseded Departments, Microelectronics and Information Technology, IMIT.
2001 (English)Doctoral thesis, monograph (Other scientific)
Place, publisher, year, edition, pages
Kista: Mikroelektronik och informationsteknik , 2001. , xiv, 219 p.
Trita-IT. AVH, 01:04
URN: urn:nbn:se:kth:diva-3210OAI: diva2:8988
Public defence
NR 20140805Available from: 2001-09-07 Created: 2001-09-07Bibliographically approved

Open Access in DiVA

fulltext(1224 kB)551 downloads
File information
File name FULLTEXT01.pdfFile size 1224 kBChecksum SHA-1
Type fulltextMimetype application/pdf

By organisation
Microelectronics and Information Technology, IMIT

Search outside of DiVA

GoogleGoogle Scholar
Total: 551 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 583 hits
ReferencesLink to record
Permanent link

Direct link