Typed Abstract State Machines for Data-Intensive Applications

Autoren Klaus-Dieter Schewe
J. Zhao
Titel Typed Abstract State Machines for Data-Intensive Applications
Typ Artikel
Journal Knowledge and Information Systems
Nummer 3
Band 15
Jahr 2008
Seiten 381-391