<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2007-07-19 10:53:38South Eastern Railway UK South Eastern and Chatham Railway Royal Engineers London Chatham and Dover Railway Chatham Ashford railway works Southborough railway station Shepherds Well railway station Kent Counties of England Dover |
| A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017DocID: 1xW3e - View Document |
| LIPIcs Leibniz International Proceedings in Informatics Verification and Refutation of∗ Probabilistic Specifications via GamesDocID: 1xW2u - View Document |
| Reachability in Recursive Markov Decision Processes? Tom´ aˇs Br´ azdil, V´ aclav Broˇzek, Vojtˇech Forejt, and Anton´ın KuˇceraDocID: 1xW2m - View Document |
| GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. EdinburghDocID: 1xW1G - View Document |
| British long distance swimmer David Davies uses visualisation techniques to motivate himself to train every morning. PSYCHOLOGYDocID: 1xW1B - View Document |