Author:
Weitl Franz,Sebih Nazim,Artho Cyrille,Hagiya Masami,Tanabe Yoshinori,Yamagata Yoriyuki,Yamamoto Mitsuharu
Publisher
Springer International Publishing
Reference32 articles.
1. Abdulla, P.A., Jonsson, B.: Verifying programs with unreliable channels. Information and Computation 127(2), 91–101 (1996)
2. Artho, C., Garoche, P.: Accurate centralization for applying model checking on networked applications. In: Proceedings of the 21st International Conference on Automated Software Engineering (ASE 2006). pp. 177–188. Tokyo, Japan (2006)
3. Lecture Notes in Business Information Processing;C Artho,2008
4. Bona, M.: Combinatorics of Permutations. CRC Press, second edition edn. (2012)
5. Droms, R.: Dynamic host configuration protocol. IETF RFC 2131 (1997).
http://www.ietf.org/rfc/rfc2131
Accessed: 13th Feb 2015