| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Bernd-Holger Schlingloff Massimo Franceschet , Maarten de Rijke , Bernd-Holger Schlingloff: Hybrid Logics on Linear Structures: Expressivity and Complexity. TIME 2003 : 166-173 Maximilian Frey , Bernd-Holger Schlingloff: Conformance of Distributed Systems. TestCom 2003 : 163-179 Jan Bredereke , Bernd-Holger Schlingloff: An Automated, Flexible Testing Environment for UMTS. TestCom 2002 : 79-94 Edmund M. Clarke , Bernd-Holger Schlingloff: Model Checking. Handbook of Automated Reasoning 2001 : 1635-1790 Carlos Areces , Enrico Franconi , Rajeev Goré , Maarten de Rijke , Bernd-Holger Schlingloff: Editorial. Logic Journal of the IGPL 8 (3): (2000) Tomohiro Yoneda , Bin Zhou , Bernd-Holger Schlingloff: Verification of Bounded Delay Asynchronous Circuits with Timed Traces. AMAST 1998 : 59-73 Maximilian Frey , Bernd-Holger Schlingloff: On-the-Fly Model Checking of Program Runs for Automated Debugging. EUROMICRO 1998 : 10426- Bernd-Holger Schlingloff: Modelling Message Buffers with Binary Decision Diagrams. RelMiCS 1997 : 101-111 Tomohiro Yoneda , Bernd-Holger Schlingloff: Efficient Verification of Parallel Real-Time Systems. Formal Methods in System Design 11 (2): 187-215 (1997) Tomohiro Yoneda , Atsufumi Shibayama , Bernd-Holger Schlingloff, Edmund M. Clarke : Efficient Verification of Parallel Real-Time Systems. CAV 1993 : 321-346 Bernd-Holger Schlingloff: On the Expressive Power of Modal Logics on Trees. LFCS 1992 : 441-451 Bernd-Holger Schlingloff: Expressive completeness of temporal logic of trees. Journal of Applied Non-Classical Logics 2 (2): (1992) 1 [ 8 ] 2 [ 10 ] 3 [ 3 ] [ 9 ] 4 [ 12 ] 5 [ 8 ] 6 [ 6 ] [ 11 ] 7 [ 8 ] 8 [ 8 ] [ 12 ] 9 [ 3 ] 10 [ 3 ] [ 4 ] [ 7 ] 11 [ 7 ]  ©2004 Association for Computing Machinery |
