<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-06-18 08:52:11Country code top-level domains Domain name system Internet in the United Kingdom Internet Standards Internet protocols .wales .uk Domain name .cymru Generic top-level domain WHOIS Nominet UK |
| 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 |