Probabilistic Bisimulation for Parameterized Systems (with Applications to 
Verifying Anonymous Protocols)

Hong, Chih-Duo; Lin, Anthony W.; Majumdar, Rupak; Rümmer, Philipp

doi:10.1007/978-3-030-25540-4_27

Local TagsRelease HistoryDetailsSummary

Probabilistic Bisimulation for Parameterized Systems (with Applications to Verifying Anonymous Protocols)

Hong, C.-D., Lin, A. W., Majumdar, R., & Rümmer, P. (2019). Probabilistic Bisimulation for Parameterized Systems (with Applications to Verifying Anonymous Protocols). In I. Dillig, & S. Tasiran (Eds.), Computer Aided Verification (pp. 455-474). Berlin: Springer. doi:10.1007/978-3-030-25540-4_27.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0005-C2D5-F Version Permalink: https://hdl.handle.net/21.11116/0000-0005-C2D6-E

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Hong, Chih-Duo¹, Author
Lin, Anthony W.¹, Author
Majumdar, Rupak², Author
Rümmer, Philipp¹, 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: Published Online: 2019Date issued: 2019

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Hong_CAV2019
DOI: 10.1007/978-3-030-25540-4_27

Degree: -

Event

show

hide

Title: 31st International Conference on Computer-Aided Verification

Place of Event: New York, NY, USA

Start-/End Date: 2019-07-15 - 2019-07-18

Legal Case

show

Project information

show

Source 1

show

hide

Title: Computer Aided Verification

Abbreviation : CAV 2019

Subtitle : 31st International Conference, CAV 2019 ; New York City, NY, USA, July 15–18, 2019 ; Proceedings, Part I

Source Genre: Proceedings

Creator(s):
Dillig, Isil¹, Editor
Tasiran, Serdar¹, Editor

Affiliations:
1 External Organizations, ou_persistent22

Publ. Info: Berlin : Springer

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 455 - 474 Identifier: ISBN: 978-3-030-25539-8

Source 2

show

hide

Title: Lecture Notes in Computer Science

Abbreviation : LNCS

Source Genre: Series

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 11561 Sequence Number: - Start / End Page: - Identifier: -