Reasoning about almost-certain convergence properties using Event-B

✍ Scribed by Hoang, Thai Son

• Book ID: 121912335
• Publisher: Elsevier Science
• Year: 2014
• Tongue: English
• Weight: 430 KB
• Volume: 81
• Category: Article
• ISSN: 0167-6423
• DOI: 10.1016/j.scico.2013.08.006