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 (22)
- browse
- sos as tag from all users
- related tags
- concepts
- 1980s ←
- 1990s ←
- 2000s ←
- to_download ←
- tags
- statecharts
- uml
- 2008
- refinement
- 2007
- 2006
- semantics
- \_pdf
- 2005
- 2004
- _hardcopy
- _to_download_springer
- model_checking
- 2003
- 2002
- _marcia
- _no_doi
- csp
- 2001
- model_transformation
- graph_transformation
- 2000
- refactoring
- tests
- alloy
- 2009
- 1999
- 1998
- \_hardcopy
- requirements
- z
- 1997
- verification
- aspects
- software_architecture
- _book
- formal
- agents
- _to_download
- 1995
- ocl
- b
- umlrt
- operational
- transformation
- 1996
- _folder_2
- tool
- bibtex-import
- writing
- No matching items.
- Peter D. Mosses. Journal of Logic and Algebraic Programming (2004)Peter D. Mosses. Journal of Logic and Algebraic Programming (2004)4 years and 3 months agoby leonardo1
- Peter D. Mosses. Electronic Notes in Theoretical Computer Science 148(1):41--73 (February 2006)Peter D. Mosses. Electronic Notes in Theoretical Computer Science 148(1):41--73 (February 2006)4 years and 3 months agoby leonardo1
- 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 3 months agoby leonardo1
- Andrea M. Schettini, Adriano Peron, and Simone Tini. Theoretical Computer Science 290(1):465--498 (January 2003)Andrea M. Schettini, Adriano Peron, and Simone Tini. Theoretical Computer Science 290(1):465--498 (January 2003)4 years and 3 months agoby leonardo1
- G. D. Plotkin. DAIMI FN-19. University of Aarhus, (1981)G. D. Plotkin. DAIMI FN-19. University of Aarhus, (1981)4 years and 3 months agoby leonardo2
- Gordon D. Plotkin. Journal of Logic and Algebraic Programming (2004)Gordon D. Plotkin. Journal of Logic and Algebraic Programming (2004)4 years and 3 months agoby leonardo3
- Gordon D. Plotkin. Journal of Logic and Algebraic Programming (2004)Gordon D. Plotkin. Journal of Logic and Algebraic Programming (2004)4 years and 3 months agoby leonardo4
- Pierpaolo Degano, and Corrado Priami. ACM Comput. Surv. 33(2):135--176 (June 2001)Pierpaolo Degano, and Corrado Priami. ACM Comput. Surv. 33(2):135--176 (June 2001)4 years and 3 months agoby leonardo1
- 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 3 months agoby leonardo2
- J. W. Coleman, N. P. Jefferson, and C. B. Jones. (2004)J. W. Coleman, N. P. Jefferson, and C. B. Jones. (2004)4 years and 3 months agoby leonardo1
- Alberto Verdejo, and Narciso M. Oliet. Journal of Logic and Algebraic Programming 67(1-2):226--293 (2006)Alberto Verdejo, and Narciso M. Oliet. Journal of Logic and Algebraic Programming 67(1-2):226--293 (2006)4 years and 3 months agoby leonardo1
- Mohammad R. Mousavi, and Michel A. Reniers. Electronic Notes in Theoretical Computer Science 156(1):135--150 (May 2006)Mohammad R. Mousavi, and Michel A. Reniers. Electronic Notes in Theoretical Computer Science 156(1):135--150 (May 2006)4 years and 3 months agoby leonardo2
- Peter D. Mosses. Electronic Notes in Theoretical Computer Science 148(1):41--73 (February 2006)Peter D. Mosses. Electronic Notes in Theoretical Computer Science 148(1):41--73 (February 2006)4 years and 3 months agoby leonardo2
- Jan F. Groote, Mohammad R. Mousavi, and Michel A. Reniers. Electronic Notes in Theoretical Computer Science 156(1):3--25 (May 2006)Jan F. Groote, Mohammad R. Mousavi, and Michel A. Reniers. Electronic Notes in Theoretical Computer Science 156(1):3--25 (May 2006)4 years and 3 months agoby leonardo2
- Mohammadreza Mousavi, Michel A. Reniers, and Jan F. Groote. Theor. Comput. Sci. 373(3):238--272 (April 2007)Mohammadreza Mousavi, Michel A. Reniers, and Jan F. Groote. Theor. Comput. Sci. 373(3):238--272 (April 2007)4 years and 3 months agoby leonardo2