MPI-INF Logo
Publications

Server    domino.mpi-inf.mpg.de

Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop

Author, Editor
Author(s):
Lu, Tianxiang
Merz, Stephan
Weidenbach, Christoph
dblp
dblp
dblp
Not MPG Author(s):
Merz, Stephan
Editor(s):
Bruni, Roberto
Dingel, Juergen
dblp
dblp
Not MPII Editor(s):
Bruni, Roberto
Dingel, Juergen
BibTeX cite key*:
LuTlaPastryForte2011
Title, Booktitle
Title*:
Towards Verification of the Pastry Routing Protocol using TLA+
Booktitle*:
Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011
Event, URLs
Conference URL::
http://discotec.ru.is/fmoodsforte/main
Downloading URL:
http://dx.doi.org/10.1007/978-3-642-21461-5_16
Event Address*:
Reykjavik, Iceland
Language:
English
Event Date*
(no longer used):
Organization:
Event Start Date:
6 June 2011
Event End Date:
8 June 2011
Publisher
Name*:
Springer
URL:
http://www.springer-ny.com/
Address*:
Berlin
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Computer Science
Volume:
6722
Number:
Month:
Pages:
244-258
Year*:
2011
VG Wort Pages:
ISBN/ISSN:
978-3-642-21460-8
Sequence Number:
DOI:
10.1007/978-3-642-21461-5_16
Note, Abstract, ©
Note:
Accepted
Keywords:
formal speci cation, model checking, veri cation methods, network protocols
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Automation of Logic
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:

@INPROCEEDINGS{LuTlaPastryForte2011,
AUTHOR = {Lu, Tianxiang and Merz, Stephan and Weidenbach, Christoph},
EDITOR = {Bruni, Roberto and Dingel, Juergen},
TITLE = {Towards Verification of the {Pastry} Routing Protocol using {TLA}+},
BOOKTITLE = {Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011},
PUBLISHER = {Springer},
YEAR = {2011},
VOLUME = {6722},
PAGES = {244--258},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Reykjavik, Iceland},
ISBN = {978-3-642-21460-8},
ISBN = {1868-4238},
DOI = {10.1007/978-3-642-21461-5_16},
NOTE = {Accepted},
}


Entry last modified by Anja Becker, 03/16/2012
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
[Library]
Created
03/21/2011 11:51:44 AM
Revisions
11.
10.
9.
8.
7.
Editor(s)
Anja Becker
Tian Xiang Lu
Tian Xiang Lu
Tian Xiang Lu
Tian Xiang Lu
Edit Dates
16.03.2012 14:26:42
04/18/2011 03:21:37 PM
04/18/2011 03:20:57 PM
04/18/2011 03:20:02 PM
04/18/2011 03:18:09 PM