Tool Demonstration: Tools for Process Algebras.

Eric Madelaine Didier Vergamini

Published in: FORTE (1991)

Keyphrases

software tools
artificial intelligence
social networks
temporal reasoning
tool wear