Searching for authors named "Antonio Cerone" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Axiomatisation of an Interval Calculus for Theorem Proving
- … Proving Antonio Cerone Janaury 2000 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http…
- Cited by 5 (0 self) – Add To MetaCart
-
Specification of Timing Constraints within the Circal Process Algebra
- …Specification of Timing Constraints within the Circal Process Algebra Antonio Cerone and George J…
- Add To MetaCart
-
A Methodology for the Formal Analysis of Asynchronous Micropipelines
- … Micropipelines Antonio Cerone George J. Milne October 1999 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http…
- Cited by 4 (2 self) – Add To MetaCart
-
Modelling a Subclass of CMOS Circuits using a Process Algebra
- … Algebra Antonio Cerone George J. Milne August 1999 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 4.
