Record: found
Abstract: not found
Book Chapter: not found

Security Protocols : 7th International Workshop, Cambridge, UK, April 19-21, 1999. Proceedings 

Event-Clock Visibly Pushdown Automata

other

Author(s): Nguyen Van Tang , Mizuhito Ogawa

Publication date (Print): 2009

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

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 14

Record: found
Abstract: not found
Article: not found

A theory of timed automata

Rajeev Alur, David Dill (1994)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Well-structured transition systems everywhere!

A Finkel, Ph. Schnoebelen (2001)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Event-clock automata: a determinizable class of timed automata

Thomas Henzinger, Limor Fix, Rajeev Alur (1999)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2009

Pages: 558-569

DOI: 10.1007/978-3-540-95891-8_50

SO-VID: ee202527-9b6b-446e-9207-66564ce969f0

History

Data availability:

Event-Clock Visibly Pushdown Automata

Read this book at

Related collections

Airburst and Crater Research

Most cited references 14

A theory of timed automata

Well-structured transition systems everywhere!

Event-clock automata: a determinizable class of timed automata

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,241

Cited by 3