Proving Parameterized Systems: The Use of Pseudo-Pipelines in Polyhedral Logic.

Katell Morin-Allory David Cachera

Published in: CHARME (2005)

Keyphrases

complex systems
digital circuits
databases
information retrieval
distributed systems
computer systems
artificial intelligence
information systems
multi agent
digital libraries
management system
intelligent systems
building blocks
learning systems
retrieval systems
modal logic