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
A state machine language supporting integer inequalities implemented with ordered ternary decision diagrams
Luleå tekniska universitet.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
Luleå tekniska universitet.
1994 (English)In: Proceedings, 1994 International Conference on Simulation and Hardware Description Languages: ICSHDL'94, Society for Computer Simulation , 1994Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Society for Computer Simulation , 1994.
National Category
Embedded Systems
Research subject
Embedded System
Identifiers
URN: urn:nbn:se:ltu:diva-34138Local ID: 8417f510-1227-11dd-ada4-000ea68e967bOAI: oai:DiVA.org:ltu-34138DiVA: diva2:1007388
Conference
International Conference on Simulation and Hardware Description Languages : 24/01/1994 - 26/01/1994
Note
Godkänd; 1994; 20080424 (ysko)Available from: 2016-09-30 Created: 2016-09-30Bibliographically approved

Open Access in DiVA

fulltext(203 kB)9 downloads
File information
File name FULLTEXT01.pdfFile size 203 kBChecksum SHA-512
efd0ac86785f57c5395762e44911b9b2e6f8697741330d63cff20694df608561409efaa02b4b058d4822535cc80b5669263d12a804c377bc7928519fa130ec76
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Lindgren, Per
By organisation
Embedded Internet Systems Lab
Embedded Systems

Search outside of DiVA

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