TIME'04 - Short Papers Decidability of the Theory of the Totally Unbounded omega-Layered Structure Angelo Montanari Gabriele Puppis Model Checking µ-Calculus in Well-Structured Transition Systems E. V. Kouzmin Nikolay V. Shilov Valery A. Sokolov Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols Clare Dixon M. Carmen Fernández Gago Michael Fisher Wiebe van der Hoek Decidability of the Theory of the Totally Unbounded omega-Layered Structure Angelo Montanari Gabriele Puppis Model Checking µ-Calculus in Well-Structured Transition Systems E. V. Kouzmin Nikolay V. Shilov Valery A. Sokolov Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols Clare Dixon M. Carmen Fernández Gago Michael Fisher Wiebe van der Hoek Decidability of the Theory of the Totally Unbounded omega-Layered Structure Angelo Montanari Gabriele Puppis Model Checking µ-Calculus in Well-Structured Transition Systems E. V. Kouzmin Nikolay V. Shilov Valery A. Sokolov Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols Clare Dixon M. Carmen Fernández Gago Michael Fisher Wiebe van der Hoek Return to TIME'04 Sessions ©2005 Association for Computing Machinery