Login / Signup

Instantiation Semantics for Message Sequence Charts.

Gerardo PadillaFarokh B. BastaniCarlos Montes de OcaMiguel A. Serrano
Published in: ENC (2006)
Keyphrases
  • semantic information
  • formal semantics
  • logic programming
  • bayesian networks
  • hidden markov models