Login / Signup

Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations.

Artur MeskiMaciej KoutnyWojciech Penczek
Published in: Fundam. Informaticae (2017)
Keyphrases
  • temporal properties
  • model checking
  • formal methods
  • natural language
  • artificial neural networks
  • computational intelligence
  • graphical models
  • distributed systems
  • multimodal biometrics