Interface Automata

DMCA

Interface Automata (2001)

Cached

Download Links

[www-cad.eecs.berkeley.edu]
[www-cad.eecs.berkeley.edu]
[www.eecs.berkeley.edu]
[www-cad.eecs.berkeley.edu]

Other Repositories/Bibliography

DBLP

Save to List
Add to Collection
Correct Errors
Monitor Changes

by Luca de Alfaro , Thomas A. Henzinger

Venue:	Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE), ACM
Citations:	449 - 23 self

BibTeX

@INPROCEEDINGS{Alfaro01interfaceautomata,
    author = {Luca de Alfaro and Thomas A. Henzinger},
    title = {Interface Automata},
    booktitle = {Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE), ACM},
    year = {2001},
    pages = {109--120},
    publisher = {Press}
}