Change search
ReferencesLink to record
Permanent link

Direct link
Abstraction of Communication Channels in Promela: A Case Study
Division of Computer Systems, Department of Information Technology, Uppsala University.ORCID iD: 0000-0002-0182-8390
2000 (English)Conference paper (Refereed)
Place, publisher, year, edition, pages
Springer-Verlag , 2000. 187-204 p.
, Lecture Notes in Computer Science, 1885
National Category
Mechanical Engineering Computer and Information Science
URN: urn:nbn:se:kth:diva-180649OAI: diva2:895537
The 7th International SPIN Workshop, SPIN 2000, Stanford, CA, USA, August 30 - September 1, 2000.


Available from: 2016-01-19 Created: 2016-01-19 Last updated: 2016-02-16Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Fersman, Elena
Mechanical EngineeringComputer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
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: 2 hits
ReferencesLink to record
Permanent link

Direct link