1![1 of 1 Rural-Urban Migration and Migrant Workers Sarah Maude Statistics - estimates 1 of 1 Rural-Urban Migration and Migrant Workers Sarah Maude Statistics - estimates](https://www.pdfsearch.io/img/2d27d94eeb14deb277873d69886a9145.jpg) | Add to Reading ListSource URL: geography.org.ukLanguage: English |
---|
2![1 of 7 Urbanisation and Urban Development Sarah Maude The biggest construction boom ever seen 1 of 7 Urbanisation and Urban Development Sarah Maude The biggest construction boom ever seen](https://www.pdfsearch.io/img/7799f31755ecf44139e9f2a90d6d8cba.jpg) | Add to Reading ListSource URL: geography.org.ukLanguage: English |
---|
3![Modelling and Analyzing Adaptive Self-Assembly Strategies with Maude Roberto Bruni, Andrea Corradini, Fabio Gadducci Dipartimento di Informatica, Universit` a di Pisa, Italy { bruni,andrea,gadducci}@ di. unipi. it Modelling and Analyzing Adaptive Self-Assembly Strategies with Maude Roberto Bruni, Andrea Corradini, Fabio Gadducci Dipartimento di Informatica, Universit` a di Pisa, Italy { bruni,andrea,gadducci}@ di. unipi. it](https://www.pdfsearch.io/img/6d4298cf133ede3312899145a2be9b4b.jpg) | Add to Reading ListSource URL: dl.dropboxusercontent.comLanguage: English |
---|
4![Toward Reflective Application Testing in Open Environments Eyvind W. Axelsen, Einar Broch Johnsen, and Olaf Owe Department of Informatics, University of Oslo Abstract Many distributed applications can be understood in te Toward Reflective Application Testing in Open Environments Eyvind W. Axelsen, Einar Broch Johnsen, and Olaf Owe Department of Informatics, University of Oslo Abstract Many distributed applications can be understood in te](https://www.pdfsearch.io/img/8a144799da329b2b08be98f303e20db3.jpg) | Add to Reading ListSource URL: www.nik.noLanguage: English - Date: 2004-12-12 14:02:10
|
---|
5![Specifying and Analyzing Real-Time Object Systems in Real-Time Maude ¨ Peter C. Olveczky Department of Informatics, University of Oslo Specifying and Analyzing Real-Time Object Systems in Real-Time Maude ¨ Peter C. Olveczky Department of Informatics, University of Oslo](https://www.pdfsearch.io/img/11058e97773680b266bd6f4a5fcc6304.jpg) | Add to Reading ListSource URL: www.nik.noLanguage: English - Date: 2002-09-06 09:03:13
|
---|
6![doi:[removed]j.entcs[removed] doi:[removed]j.entcs[removed]](https://www.pdfsearch.io/img/4881e825b39a9ac658382c7139060817.jpg) | Add to Reading ListSource URL: maude.sip.ucm.esLanguage: English - Date: 2005-07-25 06:30:34
|
---|
7![Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed]](https://www.pdfsearch.io/img/725b52154bcf35a10a66ad3f483b35e6.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2010-05-05 07:12:06
|
---|
8![Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed]](https://www.pdfsearch.io/img/02750c62abdc6159e25511abf4f26d88.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2011-06-10 06:16:57
|
---|
9![Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed]](https://www.pdfsearch.io/img/3d473321682f197dfd5caaba45b3fcda.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2012-06-25 10:32:16
|
---|
10![Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed]](https://www.pdfsearch.io/img/daf4e9683ae2c606b3344cf2101471d6.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2010-09-15 07:35:36
|
---|