Efficient Algorithms for Drawing Planar Graphs (1999)

by Md. Saidur Rahman
Citations:1 - 0 self

Documents Related by Co-Citation

3 Natural Language for Hardware Verification: Semantic Interpretation and Model Checking – Alexander Holt, Er Holt, Ewan Klein, Claire Grover - 1999
1 Proof Engineering in the Large:Formal Verification of Pentiumr 4 Floating-Point Divider – R Kaivola, K Kohatsu - 2001
1 The SMV language. Cadence Berkeley Labs, Cadence Design Systems – K L McMillan - 1998
30 Software model checking in practice: an industrial case study – Satisha Chandra, Patrice Godefroid, Christopher Palm - 2002
11 Getting started with SMV. Cadence Berkeley Laboratories – K McMillan - 1998
55 S.: Model Checking UML State Machines and Collaborations – T Schäfer, A Knapp, Merz - 2001
29 VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software – Patrice Godefroid, Patrice Godefroid - 1997
65 Compilation and Verification of LOTOS Specifications – Hubert Garavel, Centre Hitella, Joseph Sifakis - 1990
238 Logic in Computer Science: Modelling and Reasoning about Systems – Michael Huth, Mark Ryan - 1999
1297 Symbolic Model Checking – K L McMillan - 1993
363 The SPIN Model Checker – G J Holzmann - 2003
234 Protocol Verification as a Hardware Design Aid – David L. Dill , Andreas J. Drexler, Alan J. Hu, C. Han Yang - 1992