Search dblp for Publications

export results for "toc:db/conf/floc/smc1999.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/Balarin99,
  author       = {Felice Balarin},
  editor       = {Alessandro Cimatti and
                  Orna Grumberg},
  title        = {Concurrent Symbolic Verification of Liveness Properties for Interleaved
                  Models},
  booktitle    = {First International Workshop on Symbolic Model Checking, {SMC} 1999,
                  associated to FLoC'99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 6, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {2},
  pages        = {1--10},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(04)80664-9},
  doi          = {10.1016/S1571-0661(04)80664-9},
  timestamp    = {Tue, 22 Nov 2022 15:04:29 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Balarin99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BiereCZ99,
  author       = {Armin Biere and
                  Edmund M. Clarke and
                  Yunshan Zhu},
  editor       = {Alessandro Cimatti and
                  Orna Grumberg},
  title        = {Combining Local and Global Model Checking},
  booktitle    = {First International Workshop on Symbolic Model Checking, {SMC} 1999,
                  associated to FLoC'99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 6, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {2},
  pages        = {34--45},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(04)80667-4},
  doi          = {10.1016/S1571-0661(04)80667-4},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BiereCZ99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CamposTMKC99,
  author       = {S{\'{e}}rgio Vale Aguiar Campos and
                  Marcio Teixeira and
                  Marius Minea and
                  Andreas Kuehlmann and
                  Edmund M. Clarke},
  editor       = {Alessandro Cimatti and
                  Orna Grumberg},
  title        = {Model Checking Semi-Continuous Time Models Using BDDs},
  booktitle    = {First International Workshop on Symbolic Model Checking, {SMC} 1999,
                  associated to FLoC'99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 6, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {2},
  pages        = {75--87},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(04)80670-4},
  doi          = {10.1016/S1571-0661(04)80670-4},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CamposTMKC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CimattiG99,
  author       = {Alessandro Cimatti and
                  Orna Grumberg},
  editor       = {Alessandro Cimatti and
                  Orna Grumberg},
  title        = {Preface},
  booktitle    = {First International Workshop on Symbolic Model Checking, {SMC} 1999,
                  associated to FLoC'99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 6, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {2},
  pages        = {127--128},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80673-5},
  doi          = {10.1016/S1571-0661(05)80673-5},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CimattiG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FerierRS99,
  author       = {Laurent Ferier and
                  Jean{-}Fran{\c{c}}ois Raskin and
                  Pierre{-}Yves Schobbens},
  editor       = {Alessandro Cimatti and
                  Orna Grumberg},
  title        = {Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing
                  Trees},
  booktitle    = {First International Workshop on Symbolic Model Checking, {SMC} 1999,
                  associated to FLoC'99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 6, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {2},
  pages        = {108--126},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(04)80672-8},
  doi          = {10.1016/S1571-0661(04)80672-8},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FerierRS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FraerKFV99,
  author       = {Ranan Fraer and
                  Gila Kamhi and
                  Limor Fix and
                  Moshe Y. Vardi},
  editor       = {Alessandro Cimatti and
                  Orna Grumberg},
  title        = {Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting},
  booktitle    = {First International Workshop on Symbolic Model Checking, {SMC} 1999,
                  associated to FLoC'99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 6, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {2},
  pages        = {11--22},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(04)80665-0},
  doi          = {10.1016/S1571-0661(04)80665-0},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FraerKFV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GovindarajuD99,
  author       = {Shankar G. Govindaraju and
                  David L. Dill},
  editor       = {Alessandro Cimatti and
                  Orna Grumberg},
  title        = {Approximate Symbolic Model Checking using Overlapping Projections},
  booktitle    = {First International Workshop on Symbolic Model Checking, {SMC} 1999,
                  associated to FLoC'99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 6, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {2},
  pages        = {23--33},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(04)80666-2},
  doi          = {10.1016/S1571-0661(04)80666-2},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GovindarajuD99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MollerLAH99,
  author       = {Jesper B. M{\o}ller and
                  Jakob Lichtenberg and
                  Henrik Reif Andersen and
                  Henrik Hulgaard},
  editor       = {Alessandro Cimatti and
                  Orna Grumberg},
  title        = {Fully Symbolic Model Checking of Timed Systems using Difference Decision
                  Diagrams},
  booktitle    = {First International Workshop on Symbolic Model Checking, {SMC} 1999,
                  associated to FLoC'99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 6, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {2},
  pages        = {88--107},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(04)80671-6},
  doi          = {10.1016/S1571-0661(04)80671-6},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MollerLAH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/RenaultC99,
  author       = {Sophie Renault and
                  Eduard Cerny},
  editor       = {Alessandro Cimatti and
                  Orna Grumberg},
  title        = {Improving Termination of MDG-Based Abstract State Enumeration via
                  Term Schematization},
  booktitle    = {First International Workshop on Symbolic Model Checking, {SMC} 1999,
                  associated to FLoC'99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 6, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {2},
  pages        = {57--74},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(04)80669-8},
  doi          = {10.1016/S1571-0661(04)80669-8},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/RenaultC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Somenzi99,
  author       = {Fabio Somenzi},
  editor       = {Alessandro Cimatti and
                  Orna Grumberg},
  title        = {Symbolic State Exploration},
  booktitle    = {First International Workshop on Symbolic Model Checking, {SMC} 1999,
                  associated to FLoC'99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 6, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {2},
  pages        = {46--56},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(04)80668-6},
  doi          = {10.1016/S1571-0661(04)80668-6},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Somenzi99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/floc/1999smc,
  editor       = {Alessandro Cimatti and
                  Orna Grumberg},
  title        = {First International Workshop on Symbolic Model Checking, {SMC} 1999,
                  associated to FLoC'99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 6, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {2},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/23/issue/2},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/floc/1999smc.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.