Typed Abstract State Machines for Data-Intensive Applications

Autoren Klaus-Dieter Schewe
J. Zhao
TitelTyped Abstract State Machines for Data-Intensive Applications
TypArtikel
JournalKnowledge and Information Systems
Nummer3
Band15
Jahr2008
Seiten381-391