- łambdamu-Calculus: An algorithmic interpretation of classical natural deduction Michel Parigot Sat 07 July 2012
- ACTLąpLTL Synthesis Rudiger Ehlers Sat 07 July 2012
- Automaten und Logiken zur Beschreibung zeitabhangiger Systeme Thomas Wilke Sat 07 July 2012
- Back to the future: towards a theory of timed regular languages R. Alur T. A. Henzinger Sat 07 July 2012
- The benefits of relaxing punctuality Rajeev Alur Tomás Feder Thomas A. Henzinger Sat 07 July 2012
- Model-Checking in Dense Real-Time R. Alur C. Courcoubetis D. Dill Sat 07 July 2012
- Real-time model checking is really simple Leslie Lamport Sat 07 July 2012
- Computing accumulated delays in real-time systems Rajeev Alur Costas Courcoubetis Thomas A. Henzinger Sat 07 July 2012
- An Efficient Algorithm for Minimizing Real-Time Transition Systems Mihalis Yannakakis David Lee Sat 07 July 2012
- Efficient verification of parallel real-time systems Tomohiro Yoneda Atsufumi Shibayama Bernd-Holger Schlingloff Edmund M. Clarke Sat 07 July 2012
- Communicating Visibly Pushdown Processes Stefan D. Bruda Tawhid Bin Waez Sat 07 July 2012
- Unambiguity in Timed Regular Languages: Automata and Logics Paritosh K. Pandya Simoni S. Shah Sat 07 July 2012
- Can Nondeterminism Help Complementation Yang Cai Ting Zhang Sat 07 July 2012
- Model Checking Vector Addition Systems with one zero-test Rémi Bonnet Alain Finkel Jérôme Leroux Marc Zeitoun Thu 05 July 2012
- The reachability problem for vector addition system with one zero-test Rémi Bonnet Thu 05 July 2012
- Reachability in Petri Nets with Inhibitor Arcs Klaus Reinhardt Thu 05 July 2012
- Winning Regions of Pushdown Parity Games: A Saturation Method Matthew Hague C. -H. Ong Thu 05 July 2012
- From Finite State Communication Protocols to High-Level Message Sequence Charts Anca Muscholl Doron Peled Wed 04 July 2012
- Finite state description of communication protocols Gregor V. Bochmann Wed 04 July 2012
- Unreliable Channels Are Easier to Verify Than Perfect Channels Gerard Cece Alain Finkel S. Purushothaman Iyer Wed 04 July 2012
Library Size: 13G (12978 entries),
Last Updated: Apr 21, 2026, 07:42:55,
Build Time: N/A
