Principles of model checking
Explore Principles of model checking by Christel Baier: 2 Hacker News mentions from 2 participants in 2007-02-22–2026-11-01. Read original excerpts, compare opinions and save this book.
Share on XTHE HACKERBOOKS LIBRARY
Principles of model checking
From the conversation
Latest 2 source recordsA mention is not an endorsement. Labels are automatically classified by the source. Follow the original discussion to verify the context.
Llou1306
Recommendation · source labelThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsJjanuary48
Recommendation · source labelThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker News