Facet browsing currently unavailable
Page 5 of 1121 results
Sort by: relevance publication year
Distributed maximum maintenance on hierarchically divided graphs JOURNAL ARTICLE published January 1993 in Formal Aspects of Computing |
List partitions JOURNAL ARTICLE published January 1993 in Formal Aspects of Computing |
Book reviews JOURNAL ARTICLE published March 1996 in Formal Aspects of Computing |
VDM and Z: A comparative case study JOURNAL ARTICLE published January 1992 in Formal Aspects of Computing |
Book review JOURNAL ARTICLE published November 1993 in Formal Aspects of Computing |
Book reviews JOURNAL ARTICLE published July 1995 in Formal Aspects of Computing |
A predicate transformer for the progress property ‘to-always’ JOURNAL ARTICLE published May 1997 in Formal Aspects of Computing |
Editorial JOURNAL ARTICLE published September 1997 in Formal Aspects of Computing |
Unifying proof methodologies of duration calculus and timed linear temporal logic JOURNAL ARTICLE published May 2004 in Formal Aspects of Computing |
Book reviews JOURNAL ARTICLE published September 1995 in Formal Aspects of Computing |
Partial logics reconsidered: A conservative approach JOURNAL ARTICLE published May 1993 in Formal Aspects of Computing |
Proof by analogy in mural JOURNAL ARTICLE published March 1995 in Formal Aspects of Computing |
Book reviews JOURNAL ARTICLE published March 1994 in Formal Aspects of Computing |
Types with intersection: An introduction JOURNAL ARTICLE published September 1992 in Formal Aspects of Computing |
On CCS with parametric relabelling JOURNAL ARTICLE published March 1996 in Formal Aspects of Computing |
The sliding-window protocol revisited JOURNAL ARTICLE published January 1995 in Formal Aspects of Computing |
Integration of UML and VHDL-AMS for analogue system modelling JOURNAL ARTICLE published April 2004 in Formal Aspects of Computing |
Editorial JOURNAL ARTICLE published May 2004 in Formal Aspects of Computing |
Editorial JOURNAL ARTICLE published November 2003 in Formal Aspects of Computing |
Guest Editorial JOURNAL ARTICLE published August 2005 in Formal Aspects of Computing |