ask others

Electronic Notes in Theoretical Computer Science, Volume 242

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Journals > Electronic Notes in Theoretical Computer Science

Volume 242, Number 1, July 2009

- view
- export record
  dblp key:
  - conf/express/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/express/2008
Thomas T. Hildebrandt, Daniele Gorla:
Proceedings of the 15th Workshop on Expressiveness in Concurrency, EXPRESS 2008, Toronto, ON, Canada, August 23, 2008. Electronic Notes in Theoretical Computer Science 242(1), Elsevier 2009 [contents]

Volume 242, Number 2, July 2009

- view
  authority control:
- export record
  dblp key:
  - journals/entcs/GodskesenM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GodskesenM09
Jens Chr. Godskesen, Massimo Merro:
Preface. 1
- view
- export record
  dblp key:
  - journals/entcs/AbdullahAT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AbdullahAT09
Abu Nasser Mohammed Abdullah, Behzad Akbarpour, Sofiène Tahar:
Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving. 3-30
- view
- export record
  dblp key:
  - journals/entcs/AzgomiK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AzgomiK09
Mohammad Abdollahi Azgomi, Ali Khalili:
Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets. 31-42
- view
- export record
  dblp key:
  - journals/entcs/HasanT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HasanT09
Osman Hasan, Sofiène Tahar:
Probabilistic Analysis of Wireless Systems Using Theorem Proving. 43-58
- view
- export record
  dblp key:
  - journals/entcs/EhrigHGP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/EhrigHGP09
Hartmut Ehrig, Kathrin Hoffmann, Karsten Gabriel, Julia Padberg:
Composition and Independence of High-Level Net Processes. 59-71
- view
- export record
  dblp key:
  - journals/entcs/MasriBT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MasriBT09
Aladdin Masri, Thomas Bourdeaud'huy, Armand Toguyéni:
Performance Analysis of IEEE 802.11b Wireless Networks with Object Oriented Petri Nets. 73-85

Volume 242, Number 3, August 2009

- view
- export record
  dblp key:
  - journals/entcs/KremerP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KremerP09
Steve Kremer, Prakash Panangaden:
Preface. 1-2
- view
- export record
  dblp key:
  - journals/entcs/Borgstrom09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Borgstrom09
Johannes Borgström:
A Complete Symbolic Bisimilarity for an Extended Spi Calculus. 3-20
- view
- export record
  dblp key:
  - journals/entcs/GordonHH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GordonHH09
Andrew D. Gordon, Hans Hüttel, René Rydhof Hansen:
Type Inference for Correspondence Types. 21-36

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.