Statistics
Publications
1
Citations
46
H-Index
1
Active since
1997
Affiliations
Weizmann Institute of Science(Current)
Carsta Petersohn is an author at Weizmann Institute of Science specializing in formal semantics, algorithms, and state diagrams.
Publications per year
1997–1997
1
1
On Formal Semantics of Statecharts as Supported by STATEMATE.
Erich Mikk, Yassine Lakhnech, Carsta Petersohn et al. · Electronic workshops in computing · 1997 · 46 citations · Full text
1–1 of 1