Login / Signup
Analysing and Comparing Encodability Criteria for Process Calculi.
Kirstin Peters
Rob J. van Glabbeek
Published in:
Arch. Formal Proofs (2015)
Keyphrases
</>
databases
data mining
information retrieval
information systems
decision making
case study
information technology
design process
process model