Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems.

Alexander Heußner Tristan Le Gall Grégoire Sutre

Published in: SPIN (2009)

Keyphrases

distributed systems
management system
information systems
pattern recognition
computer systems
shortest path
steady state
retrieval systems