no help available
no help available
userThe blue social bookmark and publication sharing system.
actions for all displayed bookmarks:
export:
sort:
- criterion: date, title
- order: ascending, descending
others:
- display: all, bookmarks only
- bookmarks per page: 5 10 20 50 100
bookmarks
actions for all displayed publications:
export:
sort:
- criterion: date, title
- order: ascending, descending
- advanced...
others:
- display: all, publications only
- publications per page: 5 10 20 50 100
publications (180)
- browse
- _hardcopy as tag from all users
- related tags
- concepts
- 1980s ←
- 1990s ←
- 2000s ←
- to_download ←
- tags
- statecharts
- uml
- 2008
- 2007
- refinement
- 2006
- semantics
- \_pdf
- 2005
- _hardcopy
- 2004
- _to_download_springer
- model_checking
- 2003
- 2002
- _marcia
- _no_doi
- csp
- 2001
- model_transformation
- graph_transformation
- 2000
- refactoring
- tests
- alloy
- 2009
- 1999
- \_hardcopy
- 1998
- requirements
- z
- 1997
- verification
- software_architecture
- aspects
- _book
- agents
- formal
- _to_download
- 1995
- ocl
- operational
- b
- umlrt
- transformation
- _folder_2
- 1996
- tool
- bibtex-import
- writing
- No matching items.
- Derek Mannering, Jon G. Hall, and Lucia Rapanotti. page 25--41. (2008)Derek Mannering, Jon G. Hall, and Lucia Rapanotti. page 25--41. (2008)4 years and 4 months agoby leonardo3
- S. Sendall, and W. Kozaczynski. Software, IEEE 20(5):42--45 (2003)S. Sendall, and W. Kozaczynski. Software, IEEE 20(5):42--45 (2003)4 years and 4 months agoby leonardo2
- Peter Scholz. Science of Computer Programming 40(1):119--145 (May 2001)Peter Scholz. Science of Computer Programming 40(1):119--145 (May 2001)4 years and 4 months agoby leonardo2
- Andrea M. Schettini, Adriano Peron, and Simone Tini. (1996)Andrea M. Schettini, Adriano Peron, and Simone Tini. (1996)4 years and 4 months agoby leonardo1
- Nan C. Schaller, Gerald H. Hilderink, and Peter H. Welch. Communicating Process Architectures 2000, page 205--226. (2000)Nan C. Schaller, Gerald H. Hilderink, and Peter H. Welch. Communicating Process Architectures 2000, page 205--226. (2000)4 years and 4 months agoby leonardo1
- Mark Richters, and Martin Gogolla. (2002)Mark Richters, and Martin Gogolla. (2002)4 years and 4 months agoby leonardo2
- Greg Reeve, and Steve Reeves. page 258--263. (2000)Greg Reeve, and Steve Reeves. page 258--263. (2000)4 years and 4 months agoby leonardo1
- Gerald Lüttgen, Michael von der Beeck, and Rance Cleaveland. (1999)Gerald Lüttgen, Michael von der Beeck, and Rance Cleaveland. (1999)4 years and 4 months agoby leonardo1
- Yan Jin, Robert Esser, and Jörn W. Janneck. Software and Systems Modeling V3(2):150--163 (May 2004)Yan Jin, Robert Esser, and Jörn W. Janneck. Software and Systems Modeling V3(2):150--163 (May 2004)4 years and 4 months agoby leonardo2
- Daniel Jackson. ACM Trans. Softw. Eng. Methodol. 11(2):256--290 (April 2002)Daniel Jackson. ACM Trans. Softw. Eng. Methodol. 11(2):256--290 (April 2002)4 years and 4 months agoby leonardo3
- Myung H. Park, Ki S. Bang, Jin Y. Choi, and Inhye Kang. page 46--51. (2000)Myung H. Park, Ki S. Bang, Jin Y. Choi, and Inhye Kang. page 46--51. (2000)4 years and 4 months agoby leonardo2
- Marcel Oliveira, and Ana Cavalcanti. (2004)Marcel Oliveira, and Ana Cavalcanti. (2004)4 years and 4 months agoby leonardo2
- Muan Y. Ng, and Michael Butler. page 138--147. (2003)Muan Y. Ng, and Michael Butler. page 138--147. (2003)4 years and 4 months agoby leonardo3
- Ulrike Lechner, Christian Lengauer, and Martin Wirsing. Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification, 906, page 351--367. London, UK, Springer-Verlag, (1995)Ulrike Lechner, Christian Lengauer, and Martin Wirsing. Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification, 906, page 351--367. London, UK, Springer-Verlag, (1995)4 years and 4 months agoby leonardo1
- Anna Mikhajlova, and Emil Sekerinski. (June 1997)Anna Mikhajlova, and Emil Sekerinski. (June 1997)4 years and 4 months agoby leonardo2
- Leonid Mikhailov, and Michael Butler. (2002)Leonid Mikhailov, and Michael Butler. (2002)4 years and 4 months agoby leonardo2
- Bertrand Meyer. Prentice Hall PTR, 2nd edition, (March 2000)Bertrand Meyer. Prentice Hall PTR, 2nd edition, (March 2000)4 years and 4 months agoby leonardo5
- Tom Mens, and Tom Tourwe. IEEE Trans. Softw. Eng. 30(2):126--139 (February 2004)Tom Mens, and Tom Tourwe. IEEE Trans. Softw. Eng. 30(2):126--139 (February 2004)4 years and 4 months agoby leonardo7
- Sun Meng, Zhang Naixiao, and Lu'is S. Barbosa. page 164--173. (2004)Sun Meng, Zhang Naixiao, and Lu'is S. Barbosa. page 164--173. (2004)4 years and 4 months agoby leonardo2
- Frederick Sheldon, Gaoyan Xie, Orest Pilskalns, and Zhihe Zhou. Software Focus 2(4):140--150 (2001)Frederick Sheldon, Gaoyan Xie, Orest Pilskalns, and Zhihe Zhou. Software Focus 2(4):140--150 (2001)4 years and 4 months agoby leonardo2
- Yisheng Huang, Shengluen Chung, Muder Jeng, and Jennhuei Lin. 2, page 1147--1152. (2003)Yisheng Huang, Shengluen Chung, Muder Jeng, and Jennhuei Lin. 2, page 1147--1152. (2003)4 years and 4 months agoby leonardo1
- C. A. R. Hoare, Ian Hayes, He Jifeng, C. C. Morgan, A. W. Roscoe, J. W. Sanders, I. H. Sorensen, J. M. Spivey, and B. A. Sufrin. Commun. ACM 30(8):672--686 (August 1987)C. A. R. Hoare, Ian Hayes, He Jifeng, C. C. Morgan, A. W. Roscoe, J. W. Sanders, I. H. Sorensen, J. M. Spivey, and B. A. Sufrin. Commun. ACM 30(8):672--686 (August 1987)4 years and 4 months agoby leonardo1
- Mats P. Heimdahl, and Michael W. Whalen. page 450--467. (1997)Mats P. Heimdahl, and Michael W. Whalen. page 450--467. (1997)4 years and 4 months agoby leonardo2
- Ralph J. Back, and Joakim Wright. Springer, (April 1998)Ralph J. Back, and Joakim Wright. Springer, (April 1998)4 years and 4 months agoby leonardo1
- Ralph J. Back, Anna Mikhajlova, and Joakim von Wright. Formal Aspects of Computing V12(1):18--40 (October 2000)Ralph J. Back, Anna Mikhajlova, and Joakim von Wright. Formal Aspects of Computing V12(1):18--40 (October 2000)4 years and 4 months agoby leonardo2
- David Harel, and Michal Politi. McGraw-Hill Companies, (October 1998)David Harel, and Michal Politi. McGraw-Hill Companies, (October 1998)4 years and 4 months agoby leonardo2
- Doug Goldson. page 129--136. (2002)Doug Goldson. page 129--136. (2002)4 years and 4 months agoby leonardo1
- A. Girault, Bilung Lee, and E. A. Lee. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on 18(6):742--760 (1999)A. Girault, Bilung Lee, and E. A. Lee. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on 18(6):742--760 (1999)4 years and 4 months agoby leonardo2
- Marcela Genero, David Miranda, and Mario Piattini. (2003)Marcela Genero, David Miranda, and Mario Piattini. (2003)4 years and 4 months agoby leonardo2
- Marcelo Frias, Carlos L. Pombo, Gabriel Baum, Nazareno Aguirre, and Tom Maibaum. (2003)Marcelo Frias, Carlos L. Pombo, Gabriel Baum, Nazareno Aguirre, and Tom Maibaum. (2003)4 years and 4 months agoby leonardo2
- Heinz Frank, and Johann Eder. page 150--158. (July 2000)Heinz Frank, and Johann Eder. page 150--158. (July 2000)4 years and 4 months agoby leonardo1
- Thorsten Fischer, Jörg Niere, Lars Torunski, and Albert Zündorf. (2000)Thorsten Fischer, Jörg Niere, Lars Torunski, and Albert Zündorf. (2000)4 years and 4 months agoby leonardo1
- Krzysztof Czarnecki, and Simon Helsen. (2003)Krzysztof Czarnecki, and Simon Helsen. (2003)4 years and 4 months agoby leonardo9
- Michelle L. Crane, and Jürgen Dingel. Electronic Notes in Theoretical Computer Science 89(2):2--21 (October 2003)Michelle L. Crane, and Jürgen Dingel. Electronic Notes in Theoretical Computer Science 89(2):2--21 (October 2003)4 years and 4 months agoby leonardo2
- Claire K. Cook. Houghton Mifflin, (June 1986)Claire K. Cook. Houghton Mifflin, (June 1986)4 years and 4 months agoby leonardo1
- Ana Cavalcanti, Augusto Sampaio, and Jim Woodcock. Formal Aspects of Computing V15(2):146--181 (November 2003)Ana Cavalcanti, Augusto Sampaio, and Jim Woodcock. Formal Aspects of Computing V15(2):146--181 (November 2003)4 years and 4 months agoby leonardo2
- David Carrington, Ian Hayes, Ray Nickson, G. Watson, and J. Welsh. Formal Aspects of Computing 10(2):97--124 (February 1998)David Carrington, Ian Hayes, Ray Nickson, G. Watson, and J. Welsh. Formal Aspects of Computing 10(2):97--124 (February 1998)4 years and 4 months agoby leonardo2
- Alexander Borgida, John Mylopoulos, and Raymond Reiter. Software Engineering, IEEE Transactions on 21(10):785--798 (1995)Alexander Borgida, John Mylopoulos, and Raymond Reiter. Software Engineering, IEEE Transactions on 21(10):785--798 (1995)4 years and 4 months agoby leonardo2
- Michael von der Beeck. Software and Systems Modeling V1(2):130--141 (December 2002)Michael von der Beeck. Software and Systems Modeling V1(2):130--141 (December 2002)4 years and 4 months agoby leonardo2
- T. Weis, A. Ulbrich, and K. Geihs. Software, IEEE 20(5):46--51 (2003)T. Weis, A. Ulbrich, and K. Geihs. Software, IEEE 20(5):46--51 (2003)4 years and 4 months agoby leonardo3
- D'aniel Varr'o, Gergely Varr'o, and Andr'as Pataricza. Science of Computer Programming 44(2):205--227 (August 2002)D'aniel Varr'o, Gergely Varr'o, and Andr'as Pataricza. Science of Computer Programming 44(2):205--227 (August 2002)4 years and 4 months agoby leonardo1
- Andrzej Wąsowski. LCTES '04: Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, 39, page 257--266. New York, NY, USA, ACM Press, (July 2004)Andrzej Wąsowski. LCTES '04: Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, 39, page 257--266. New York, NY, USA, ACM Press, (July 2004)4 years and 4 months agoby leonardo1
- Günter Kniesel, and Helge Koch. Science of Computer Programming 52(1-3):9--51 (August 2004)Günter Kniesel, and Helge Koch. Science of Computer Programming 52(1-3):9--51 (August 2004)4 years and 4 months agoby leonardo6
- Jochen M. Küster, Shane Sendall, and Michael Wahler. UML 2004. Workshop: OCL and Model Driven Engineering, (2004)Jochen M. Küster, Shane Sendall, and Michael Wahler. UML 2004. Workshop: OCL and Model Driven Engineering, (2004)4 years and 4 months agoby leonardo1
- Dusko S. Jovanovic, Bojan Orlic, Geert K. Liet, and Jan F. Broenink. Communicating Process Architectures, page 233--251. IOS Press, (2004)Dusko S. Jovanovic, Bojan Orlic, Geert K. Liet, and Jan F. Broenink. Communicating Process Architectures, page 233--251. IOS Press, (2004)4 years and 4 months agoby leonardo1
- Pierre Kelsen, and Qin Ma. Laboratory for Advanced Software Systems, University of Luxembourg, (May 2008)Pierre Kelsen, and Qin Ma. Laboratory for Advanced Software Systems, University of Luxembourg, (May 2008)4 years and 4 months agoby leonardo1
- G. Anderson, Greg Reeve, and Steve Reeves. page 224--231. (2001)G. Anderson, Greg Reeve, and Steve Reeves. page 224--231. (2001)4 years and 4 months agoby leonardo1
- David Harel, and Bernhard Rumpe. Computer 37(10):64--72 (October 2004)David Harel, and Bernhard Rumpe. Computer 37(10):64--72 (October 2004)4 years and 4 months agoby leonardo5
- Rohit Gheyi, and Paulo Borba. Electronic Notes in Theoretical Computer Science (May 2004)Rohit Gheyi, and Paulo Borba. Electronic Notes in Theoretical Computer Science (May 2004)4 years and 4 months agoby leonardo2
- Marcelo Frias, Carlos L. Pombo, and Nazareno Aguirre. (2004)Marcelo Frias, Carlos L. Pombo, and Nazareno Aguirre. (2004)4 years and 4 months agoby leonardo2
- B. Florentz, M. Mutz, and M. Huhn. page 59--66. (2004)B. Florentz, M. Mutz, and M. Huhn. page 59--66. (2004)4 years and 4 months agoby leonardo1
- Mar'ia V. Cengarle, and Alexander Knapp. 3rd Intl. Workshop on Critical Systems Development with UML CSDUML '04, Proceedings., page 85--99. Technische Universität München, (2004)Mar'ia V. Cengarle, and Alexander Knapp. 3rd Intl. Workshop on Critical Systems Development with UML CSDUML '04, Proceedings., page 85--99. Technische Universität München, (2004)4 years and 4 months agoby leonardo1
- Egon Börger, Alessandra Cavarra, and Elvinia Riccobene. Information and Software Technology 46(5):287--292 (April 2004)Egon Börger, Alessandra Cavarra, and Elvinia Riccobene. Information and Software Technology 46(5):287--292 (April 2004)4 years and 4 months agoby leonardo1
- Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, and Martin Rinard. (2004)Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, and Martin Rinard. (2004)4 years and 4 months agoby leonardo1
- Rajeev Alur, and Radu Grosu. ACM Trans. Program. Lang. Syst. 26(2):339--369 (March 2004)Rajeev Alur, and Radu Grosu. ACM Trans. Program. Lang. Syst. 26(2):339--369 (March 2004)4 years and 4 months agoby leonardo2
- Yijun Yu, Yiqiao Wang, John Mylopoulos, Sotirios Liaskos, Alexei Lapouchnian, and Julio C. Leite. RE '05: Proceedings of the 13th IEEE International Conference on Requirements Engineering RE'05, page 363--372. Washington, DC, USA, IEEE Computer Society, (2005)Yijun Yu, Yiqiao Wang, John Mylopoulos, Sotirios Liaskos, Alexei Lapouchnian, and Julio C. Leite. RE '05: Proceedings of the 13th IEEE International Conference on Requirements Engineering RE'05, page 363--372. Washington, DC, USA, IEEE Computer Society, (2005)4 years and 4 months agoby leonardo5
- W. L. Yeung, K. R. P. H. Leung, Ji Wang, and Wei Dong. page 176--184. (2005)W. L. Yeung, K. R. P. H. Leung, Ji Wang, and Wei Dong. page 176--184. (2005)4 years and 4 months agoby leonardo2
- Andrzej Wąsowski. Electronic Notes in Theoretical Computer Science (January 2005)Andrzej Wąsowski. Electronic Notes in Theoretical Computer Science (January 2005)4 years and 4 months agoby leonardo1
- Jim Steel, and Jean M. J'ez'equel. (2005)Jim Steel, and Jean M. J'ez'equel. (2005)4 years and 4 months agoby leonardo1
- Anthony J. H. Simons, and Carlos A. Fernandez. Computer Science, 2005. ENC 2005. Sixth Mexican International Conference on, page 121--128. IEEE Computer Society, (2005)Anthony J. H. Simons, and Carlos A. Fernandez. Computer Science, 2005. ENC 2005. Sixth Mexican International Conference on, page 121--128. IEEE Computer Society, (2005)4 years and 4 months agoby leonardo1
- Greg Reeve. The University of Waikato, NZ, (2005)Greg Reeve. The University of Waikato, NZ, (2005)4 years and 4 months agoby leonardo1
- Arnab Ray, Rance Cleaveland, and Arne Skou. Electronic Notes in Theoretical Computer Science (January 2005)Arnab Ray, Rance Cleaveland, and Arne Skou. Electronic Notes in Theoretical Computer Science (January 2005)4 years and 4 months agoby leonardo2
- Richard F. Paige, Dimitrios S. Kolovos, and Fiona A. Polack. Electronic Notes in Theoretical Computer Science 137(2):151--161 (July 2005)Richard F. Paige, Dimitrios S. Kolovos, and Fiona A. Polack. Electronic Notes in Theoretical Computer Science 137(2):151--161 (July 2005)4 years and 4 months agoby leonardo2
- Richard F. Paige, and Phillip J. Brooke. (2005)Richard F. Paige, and Phillip J. Brooke. (2005)4 years and 4 months agoby leonardo2
- Lee Momtahan. Electronic Notes in Theoretical Computer Science 128(6):37--52 (May 2005)Lee Momtahan. Electronic Notes in Theoretical Computer Science 128(6):37--52 (May 2005)4 years and 4 months agoby leonardo2
- Tom Mens, Niels Van Eetvelde, Serge Demeyer, and Dirk Janssens. Journal of Software Maintenance and Evolution: Research and Practice 17(4):247--276 (July 2005)Tom Mens, Niels Van Eetvelde, Serge Demeyer, and Dirk Janssens. Journal of Software Maintenance and Evolution: Research and Practice 17(4):247--276 (July 2005)4 years and 4 months agoby leonardo10
- Marc van Kempen, Michel Chaudron, Derrick Kourie, and Andrew Boake. SAICSIT '05: Proceedings of the 2005 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries, page 252--259. , Republic of South Africa, South African Institute for Computer Scientists and Information Technologists, (2005)Marc van Kempen, Michel Chaudron, Derrick Kourie, and Andrew Boake. SAICSIT '05: Proceedings of the 2005 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries, page 252--259. , Republic of South Africa, South African Institute for Computer Scientists and Information Technologists, (2005)4 years and 4 months agoby leonardo1
- W. Itani, and L. Logrippo. page 916--919. (2005)W. Itani, and L. Logrippo. page 916--919. (2005)4 years and 4 months agoby leonardo1
- D. Gracanin, H. L. Singh, Michael G. Hinchey, M. Eltoweissy, and S. A. Bohner. page 255--262. (2005)D. Gracanin, H. L. Singh, Michael G. Hinchey, M. Eltoweissy, and S. A. Bohner. page 255--262. (2005)4 years and 4 months agoby leonardo2
- Rohit Gheyi, Tiago Massoni, and Paulo Borba. Electronic Notes in Theoretical Computer Science (May 2005)Rohit Gheyi, Tiago Massoni, and Paulo Borba. Electronic Notes in Theoretical Computer Science (May 2005)4 years and 4 months agoby leonardo2
- Leif Geiger, and Albert Zündorf. Electronic Notes in Theoretical Computer Science 127(1):37--49 (March 2005)Leif Geiger, and Albert Zündorf. Electronic Notes in Theoretical Computer Science 127(1):37--49 (March 2005)4 years and 4 months agoby leonardo1
- Harald Fecher, Jens Schönborn, Marcel Kyas, and Willem P. de Roever. page 52--65. (2005)Harald Fecher, Jens Schönborn, Marcel Kyas, and Willem P. de Roever. page 52--65. (2005)4 years and 4 months agoby leonardo1
- Michelle L. Crane, and Jürgen Dingel. (2005)Michelle L. Crane, and Jürgen Dingel. (2005)4 years and 4 months agoby leonardo2
- D. Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, and K. Sullivan. Software Engineering, IEEE Transactions on 31(4):328--339 (2005)D. Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, and K. Sullivan. Software Engineering, IEEE Transactions on 31(4):328--339 (2005)4 years and 4 months agoby leonardo2
- Franck Chauvel, and Jean M. J'ez'equel. (2005)Franck Chauvel, and Jean M. J'ez'equel. (2005)4 years and 4 months agoby leonardo1
- G. Caplat, and J. L. Sourrouille. Software, IEEE 22(2):44--51 (2005)G. Caplat, and J. L. Sourrouille. Software, IEEE 22(2):44--51 (2005)4 years and 4 months agoby leonardo3
- Christie Bolton. Electronic Notes in Theoretical Computer Science 137(2):23--44 (July 2005)Christie Bolton. Electronic Notes in Theoretical Computer Science 137(2):23--44 (July 2005)4 years and 4 months agoby leonardo2
- Frank S. de Boer, M. M. Bonsangue, M. Steffen, and E. 'Abrah'am. X, page 49--69. (2005)Frank S. de Boer, M. M. Bonsangue, M. Steffen, and E. 'Abrah'am. X, page 49--69. (2005)4 years and 4 months agoby leonardo1
- J. C. M. Baeten. Theoretical Computer Science 335(2-3):131--146 (May 2005)J. C. M. Baeten. Theoretical Computer Science 335(2-3):131--146 (May 2005)4 years and 4 months agoby leonardo7
- William Zinsser. Collins, (May 2006)William Zinsser. Collins, (May 2006)4 years and 4 months agoby leonardo1
- L. Wang, and P. Krishnan. Software Engineering Conference, 2006. Australian, page 10 pp.+. (2006)L. Wang, and P. Krishnan. Software Engineering Conference, 2006. Australian, page 10 pp.+. (2006)4 years and 4 months agoby leonardo2
- D'aniel Varr'o. page 410--424. (2006)D'aniel Varr'o. page 410--424. (2006)4 years and 4 months agoby leonardo2
- Anthony J. H. Simons. Software Testing, Verification and Reliability 16(3):133--156 (2006)Anthony J. H. Simons. Software Testing, Verification and Reliability 16(3):133--156 (2006)4 years and 4 months agoby leonardo2
- Heui S. Seo, In S. Chung, and Yong R. Kwon. IEICE Trans Inf Syst E89-D(4):1459--1469 (2006)Heui S. Seo, In S. Chung, and Yong R. Kwon. IEICE Trans Inf Syst E89-D(4):1459--1469 (2006)4 years and 4 months agoby leonardo3
- Peter Scholz. Software and Systems Modeling V5(1):13--25 (April 2006)Peter Scholz. Software and Systems Modeling V5(1):13--25 (April 2006)4 years and 4 months agoby leonardo1
- A. W. Roscoe, and Z. Wu. (2006)A. W. Roscoe, and Z. Wu. (2006)4 years and 4 months agoby leonardo2
- S. Prochnow, and R. von Hanxleden. 1, page 1--2. (2006)S. Prochnow, and R. von Hanxleden. 1, page 1--2. (2006)4 years and 4 months agoby leonardo3
- Adam Perer. CHI '06: CHI '06 extended abstracts on Human factors in computing systems, page 1779--1782. New York, NY, USA, ACM Press, (2006)Adam Perer. CHI '06: CHI '06 extended abstracts on Human factors in computing systems, page 1779--1782. New York, NY, USA, ACM Press, (2006)4 years and 4 months agoby leonardo4
- Lee Momtahan, Andrew Martin, and A. W. Roscoe. Electronic Notes in Theoretical Computer Science 151(2):71--87 (May 2006)Lee Momtahan, Andrew Martin, and A. W. Roscoe. Electronic Notes in Theoretical Computer Science 151(2):71--87 (May 2006)4 years and 4 months agoby leonardo2