1![Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi](https://www.pdfsearch.io/img/ed439e59e99bc0a188145a82580ba0a6.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2011-06-22 09:34:32
|
---|
2![Probabilistic Model Checking of Contention Resolution in the IEEELow-Rate Wireless Personal Area Network Protocol Matthias Fruth School of Computer Science, University of Birmingham, Edgbaston, Birmingham, B15 Probabilistic Model Checking of Contention Resolution in the IEEELow-Rate Wireless Personal Area Network Protocol Matthias Fruth School of Computer Science, University of Birmingham, Edgbaston, Birmingham, B15](https://www.pdfsearch.io/img/2144c00ab04d68b819d9e92e3d3a36b0.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2007-06-27 11:48:43
|
---|
3![De
ning Features for CSP: Re
e
tions on the Feature Intera
tion Contest Malte Plath1 and Mark Dermot Ryan1 S
hool of Computer S
ien
e, University of Birmingham, Edgbaston, Birmingham B15 2TT, England. m
p,mdr
s.bham.a
. De
ning Features for CSP: Re
e
tions on the Feature Intera
tion Contest Malte Plath1 and Mark Dermot Ryan1 S
hool of Computer S
ien
e, University of Birmingham, Edgbaston, Birmingham B15 2TT, England. m
p,mdr
s.bham.a
.](https://www.pdfsearch.io/img/387c759752bfbaf25a72cf2c07c0a471.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2009-02-25 10:35:10
|
---|
4![1 UBIAS into Impact: Networking our academics to meet global challenges UBIAS Directors’ Meeting June 2016, University of Birmingham, UK Hornton Grange, 53 Edgbaston Park Rd, Birmingham B15 2RS (20 and 21 June) Shakes 1 UBIAS into Impact: Networking our academics to meet global challenges UBIAS Directors’ Meeting June 2016, University of Birmingham, UK Hornton Grange, 53 Edgbaston Park Rd, Birmingham B15 2RS (20 and 21 June) Shakes](https://www.pdfsearch.io/img/c57c1a5cfc7903ffa69e87007f92528d.jpg) | Add to Reading ListSource URL: www.en.cas.uni-muenchen.deLanguage: English |
---|
5![On a geometrization of the Chung-Lu model for complex networks Nikolaos Fountoulakis School of Mathematics University of Birmingham Edgbaston, B15 2TT On a geometrization of the Chung-Lu model for complex networks Nikolaos Fountoulakis School of Mathematics University of Birmingham Edgbaston, B15 2TT](https://www.pdfsearch.io/img/2e8986959d3530e78d6da69a61c6017b.jpg) | Add to Reading ListSource URL: web.mat.bham.ac.ukLanguage: English - Date: 2014-11-26 08:29:30
|
---|
6![](https://www.pdfsearch.io/img/5aa1788a107f9d113a98861ecb83cef5.jpg) | Add to Reading ListSource URL: www.irfnet.chLanguage: English - Date: 2016-06-22 09:31:54
|
---|
7![‘Squaring the Circle’: Increasing demand, decreasing budget. Managing library provision in times of financial constraint. On Monday 17th December 2012 at the Seacole Building, Birmingham City University, Westbourne R ‘Squaring the Circle’: Increasing demand, decreasing budget. Managing library provision in times of financial constraint. On Monday 17th December 2012 at the Seacole Building, Birmingham City University, Westbourne R](https://www.pdfsearch.io/img/3fd1b72967c4c0a2992d990594e72c11.jpg) | Add to Reading ListSource URL: library.bcu.ac.ukLanguage: English - Date: 2012-11-14 07:22:46
|
---|
8![Fabrication and Characterization of YBCO Coated Conductors on a Curved Surfaces Y.L. Cheung, E. Maher*, J.S. Abell and I.P. Jones School of Metallurgy and Materials, The University of Birmingham, Birmingham, Edgbaston, B Fabrication and Characterization of YBCO Coated Conductors on a Curved Surfaces Y.L. Cheung, E. Maher*, J.S. Abell and I.P. Jones School of Metallurgy and Materials, The University of Birmingham, Birmingham, Edgbaston, B](https://www.pdfsearch.io/img/bb757e9538a177581b7673962c358c73.jpg) | Add to Reading ListSource URL: www.3-cs.co.ukLanguage: English - Date: 2007-09-13 14:34:09
|
---|
9![De
ning Features for CSP: Re
e
tions on the Feature Intera
tion Contest Malte Plath1 and Mark Dermot Ryan1 S
hool of Computer S
ien
e, University of Birmingham, Edgbaston, Birmingham B15 2TT, England. m
p,mdr
s.bham.a
. De
ning Features for CSP: Re
e
tions on the Feature Intera
tion Contest Malte Plath1 and Mark Dermot Ryan1 S
hool of Computer S
ien
e, University of Birmingham, Edgbaston, Birmingham B15 2TT, England. m
p,mdr
s.bham.a
.](https://www.pdfsearch.io/img/5443182048ec9441a894b9d161a54ec2.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2009-02-25 10:35:10
|
---|
10![](/pdf-icon.png) | Add to Reading ListSource URL: www.agnc.org.ukLanguage: English - Date: 2015-08-14 06:25:19
|
---|