There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 15

Record: found
Abstract: not found
Article: not found

Well-structured transition systems everywhere!

A Finkel, Ph. Schnoebelen (2001)

0 comments Cited 91 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Verifying Programs with Unreliable Channels

Parosh Aziz Abdulla, Bengt Gunnar Jonsson (1996)

0 comments Cited 50 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Algorithmic Analysis of Programs with Well Quasi-ordered Domains

Yih-Kuen Tsay, Bengt Gunnar Jonsson, Karlis Cerans … (2000)

0 comments Cited 35 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2010

Pages: 313-327

DOI: 10.1007/978-3-642-15375-4_22

SO-VID: 128ac699-5f4c-48ca-b65d-dcc454007c43

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 22

See all cited by

Parameterized Verification of Ad Hoc Networks

Read this book at

Related collections

SAXS:Recent

Most cited references 15

Well-structured transition systems everywhere!

Verifying Programs with Unreliable Channels

Algorithmic Analysis of Programs with Well Quasi-ordered Domains

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,206

Cited by 22