Concepedia

On the Formal Semantics of Statecharts (Extended Abstract)

David Harel, Amir Pnueli, Jeanette P. Schmidt, R. W. Sherman

Logic in Computer Science · 1987 · 206 citations · 0 references

Concepts