Login / Signup

Failure Detection Sequencers: Necessary and Sufficient Information about Failures to Solve Predicate Detection.

Felix C. GärtnerStefan Pleisch
Published in: DISC (2002)
Keyphrases