Automatic Verification of Erlang−Style Concurrency
Emanuele D’Osualdo‚ Jonathan Kochems and C.−H.Luke Ong
Book Title
Static Analysis
Editor
Logozzo‚ Francesco and Fähndrich‚ Manuel
ISBN
978−3−642−38855−2
Keywords
Erlang; Infinite−state Systems Verification; Petri Nets
Pages
454−476
Publisher
Springer Berlin Heidelberg
Series
Lecture Notes in Computer Science
Volume
7935
Year
2013