Publication date unavailable· Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000
conference-paper
On the use of model checking techniques for dependability evaluation
Authors:B.R. HaverkortH. HermannsJ.-P. Katoen
Abstract
No abstract metadata is available for this record.
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.