Refinements in Typed Abstract State Machines

DOI10.1007/978-3-540-70881-0_27zbMath1185.68296OpenAlexW1483240083MaRDI QIDQ3401956

Jane Zhao, Klaus-Dieter Schewe, Sebastian Link

Publication date: 2 February 2010

Published in: Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70881-0_27

Mathematics Subject Classification ID

Database theory (68P15) Formal languages and automata (68Q45) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

This page was built for publication: Refinements in Typed Abstract State Machines