English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
  Verification of Immediate Observation Population Protocols

Esparza, J., Ganty, P., Majumdar, R., & Weil-Kennedy, C. (2018). Verification of Immediate Observation Population Protocols. In S. Schewe, & L. Zhang (Eds.), 29th International Conference on Concurrency Theory (pp. 1-16). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.CONCUR.2018.31.

Item is

Basic

show hide
Genre: Conference Paper

Files

show Files

Locators

show
hide
Description:
-
Locator:
http://drops.dagstuhl.de/doku/urheberrecht1.html (Copyright transfer agreement)
Description:
-

Creators

show
hide
 Creators:
Esparza, Javier1, Author              
Ganty, Pierre1, Author
Majumdar, Rupak2, Author              
Weil-Kennedy, Chana1, Author
Affiliations:
1External Organizations, ou_persistent22              
2Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2018
 Publication Status: Published online
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: Esparza_CONCUR2018
DOI: 10.4230/LIPIcs.CONCUR.2018.31
URN: urn:nbn:de:0030-drops-95695
 Degree: -

Event

show
hide
Title: 29th International Conference on Concurrency Theory
Place of Event: Beijing, China
Start-/End Date: 2018-09-04 - 2018-09-07

Legal Case

show

Project information

show

Source 1

show
hide
Title: 29th International Conference on Concurrency Theory
  Abbreviation : CONCUR 2018
  Subtitle : September 4–7, 2018, Beijing, China
Source Genre: Proceedings
 Creator(s):
Schewe, Sven1, Editor
Zhang, Lijun1, Editor
Affiliations:
1 External Organizations, ou_persistent22            
Publ. Info: Wadern : Schloss Dagstuhl
Pages: - Volume / Issue: - Sequence Number: 31 Start / End Page: 1 - 16 Identifier: ISBN: 978-3-95977-087-3

Source 2

show
hide
Title: Leibniz International Proceedings in Informatics
  Abbreviation : LIPIcs
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 118 Sequence Number: - Start / End Page: - Identifier: -