Login / Signup

An Algebra of Boolean Processes.

Costas CourcoubetisSusanne GrafJoseph Sifakis
Published in: CAV (1991)
Keyphrases
  • process model
  • real valued
  • real time
  • knowledge base
  • search algorithm
  • data model
  • boolean functions
  • data sets
  • artificial intelligence
  • hidden markov models
  • stochastic processes
  • boolean logic