Transitions and trees : an introduction to structural operational semantics /

Autor Hüttel, Hans
Vydáno 2010

Bronzezeitliche Trensenin Mittel-und Osteuropa : Grundzüge ihrer Entwicklung /

Autor Hüttel, Hans-Georg
Vydáno 1981

Actions speak louder than words : proving bisimilarity for context­free processes : IA006 /

Autor Hüttel, Hans, Stirling, Colin P.
Vydáno 2019

Actions speak louder then words proving bisimilarity for context - free processes /

Autor Hüttel, Hans, Stirling, Colin P.
Vydáno 2011