Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Verification of Directed Acyclic Ad Hoc Networks
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems. (Algorithmic Program Verification)
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems. (Algorithmic Program Verification)
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems. (Algorithmic Program Verification)
2013 (English)In: Formal Techniques for Distributed Systems: FORTE 2013, Springer Berlin/Heidelberg, 2013, 193-208 p.Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2013. 193-208 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 7892
National Category
Computer Systems
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:uu:diva-211409DOI: 10.1007/978-3-642-38592-6_14ISBN: 978-3-642-38591-9 (print)OAI: oai:DiVA.org:uu-211409DiVA: diva2:667794
Conference
Formal Techniques for Distributed Systems (FORTE 2013), June 3-5, 2013, Florence, Italy
Projects
ProFuN
Funder
Swedish Foundation for Strategic Research
Available from: 2013-11-27 Created: 2013-11-22 Last updated: 2017-11-27Bibliographically approved
In thesis
1.
The record could not be found. The reason may be that the record is no longer available or you may have typed in a wrong id in the address field.

Open Access in DiVA

fulltext(400 kB)128 downloads
File information
File name FULLTEXT02.pdfFile size 400 kBChecksum SHA-512
d5fa1b8d744913846b25e511d3706f0060bae142ae0043ef292834647cda5aa9db3eb0d20750595c6bb8d72ff068ee9276d9ffe4581f891b8868015113a06089
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Abdulla, Parosh AzizAtig, Mohamed FaouziRezine, Othmane
By organisation
Computer Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 128 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

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 655 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf