Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/ifip10-2/ifip10-2-1992a.bht:"
@inproceedings{DBLP:conf/ifip10-2/BormannNV92, author = {J{\"{o}}rg Bormann and H. Nusser{-}Wehlan and Gerd Venzl}, editor = {J{\o}rgen Staunstrup and Robin Sharp}, title = {Invited Talk: Formal Design in an Industrial Research Laboratory: Lessons and Perspectives}, booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5} Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992}, series = {{IFIP} Transactions}, volume = {{A-5}}, pages = {193--213}, publisher = {North-Holland}, year = {1992}, timestamp = {Tue, 19 Feb 2002 13:35:53 +0100}, biburl = {https://dblp.org/rec/conf/ifip10-2/BormannNV92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip10-2/DurrieuKL92, author = {Guy Durrieu and Kamel Kessaci and Michel Lema{\^{\i}}tre}, editor = {J{\o}rgen Staunstrup and Robin Sharp}, title = {Transe: An Experimental Transformation Assistant for Digital Circuit Design}, booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5} Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992}, series = {{IFIP} Transactions}, volume = {{A-5}}, pages = {103--118}, publisher = {North-Holland}, year = {1992}, timestamp = {Tue, 19 Feb 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip10-2/DurrieuKL92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip10-2/EbergenP92, author = {Jo C. Ebergen and Ad M. G. Peeters}, editor = {J{\o}rgen Staunstrup and Robin Sharp}, title = {Modulo-N Counters: Design and Analysis of Delay-Insensitive Circuits}, booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5} Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992}, series = {{IFIP} Transactions}, volume = {{A-5}}, pages = {27--46}, publisher = {North-Holland}, year = {1992}, timestamp = {Tue, 19 Feb 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip10-2/EbergenP92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip10-2/Greenstreet92, author = {Mark R. Greenstreet}, editor = {J{\o}rgen Staunstrup and Robin Sharp}, title = {Using Synchronized Transitions for Simulation and Timing Verification}, booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5} Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992}, series = {{IFIP} Transactions}, volume = {{A-5}}, pages = {215--236}, publisher = {North-Holland}, year = {1992}, timestamp = {Tue, 19 Feb 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip10-2/Greenstreet92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip10-2/JosephsMUVY92, author = {Mark B. Josephs and Rudolf H. Mak and Jan Tijmen Udding and Tom Verhoeff and Jelio Todorov Yantchev}, editor = {J{\o}rgen Staunstrup and Robin Sharp}, title = {High-Level Design of an Asynchronous Packet-Routing Chip}, booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5} Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992}, series = {{IFIP} Transactions}, volume = {{A-5}}, pages = {261--274}, publisher = {North-Holland}, year = {1992}, timestamp = {Thu, 06 Oct 2016 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip10-2/JosephsMUVY92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip10-2/KishinevskyKTV92, author = {Michael Kishinevsky and Alex Kondratyev and Alexander Taubin and Victor Varshavsky}, editor = {J{\o}rgen Staunstrup and Robin Sharp}, title = {Analysis and Identification of Self-Timed Circuits}, booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5} Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992}, series = {{IFIP} Transactions}, volume = {{A-5}}, pages = {275--287}, publisher = {North-Holland}, year = {1992}, timestamp = {Tue, 19 Feb 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip10-2/KishinevskyKTV92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip10-2/Krischer92, author = {Stefan Krischer}, editor = {J{\o}rgen Staunstrup and Robin Sharp}, title = {Incomplete TRS-Specifications of Boolean Functions and their Verification}, booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5} Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992}, series = {{IFIP} Transactions}, volume = {{A-5}}, pages = {67--79}, publisher = {North-Holland}, year = {1992}, timestamp = {Tue, 19 Feb 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip10-2/Krischer92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip10-2/LisperR92, author = {Bj{\"{o}}rn Lisper and Sanjay V. Rajopadhye}, editor = {J{\o}rgen Staunstrup and Robin Sharp}, title = {Reasoning about Permutations in Regular Arrays}, booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5} Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992}, series = {{IFIP} Transactions}, volume = {{A-5}}, pages = {139--157}, publisher = {North-Holland}, year = {1992}, timestamp = {Tue, 19 Feb 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip10-2/LisperR92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip10-2/MendlerS92, author = {Michael Mendler and Terry Stroup}, editor = {J{\o}rgen Staunstrup and Robin Sharp}, title = {Newtonian Arbiters Cannot be Proven Correct}, booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5} Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992}, series = {{IFIP} Transactions}, volume = {{A-5}}, pages = {47--66}, publisher = {North-Holland}, year = {1992}, timestamp = {Tue, 19 Feb 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip10-2/MendlerS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip10-2/Naur92, author = {Peter Naur}, editor = {J{\o}rgen Staunstrup and Robin Sharp}, title = {Invited talk: Three Notions of Proof}, booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5} Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992}, series = {{IFIP} Transactions}, volume = {{A-5}}, pages = {97--101}, publisher = {North-Holland}, year = {1992}, timestamp = {Tue, 19 Feb 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip10-2/Naur92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip10-2/RossenS92, author = {Lars Rossen and Robin Sharp}, editor = {J{\o}rgen Staunstrup and Robin Sharp}, title = {Sequence Semantics of Ruby}, booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5} Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992}, series = {{IFIP} Transactions}, volume = {{A-5}}, pages = {159--171}, publisher = {North-Holland}, year = {1992}, timestamp = {Tue, 19 Feb 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip10-2/RossenS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip10-2/SaxeGGH92, author = {James B. Saxe and Stephen J. Garland and John V. Guttag and James J. Horning}, editor = {J{\o}rgen Staunstrup and Robin Sharp}, title = {Using Transformations and Verification in Ciruit Design}, booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5} Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992}, series = {{IFIP} Transactions}, volume = {{A-5}}, pages = {1--25}, publisher = {North-Holland}, year = {1992}, timestamp = {Tue, 19 Feb 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip10-2/SaxeGGH92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip10-2/Singh92, author = {Satnam Singh}, editor = {J{\o}rgen Staunstrup and Robin Sharp}, title = {Circuit Analysis by Non-Standard Interpretation}, booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5} Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992}, series = {{IFIP} Transactions}, volume = {{A-5}}, pages = {119--138}, publisher = {North-Holland}, year = {1992}, timestamp = {Tue, 19 Feb 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip10-2/Singh92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip10-2/SmithZ92, author = {Scott F. Smith and Amy E. Zwarico}, editor = {J{\o}rgen Staunstrup and Robin Sharp}, title = {Provably Correct Synthesis of Asynchronous Circuits}, booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5} Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992}, series = {{IFIP} Transactions}, volume = {{A-5}}, pages = {237--260}, publisher = {North-Holland}, year = {1992}, timestamp = {Thu, 21 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip10-2/SmithZ92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip10-2/ThuauB92, author = {Ghislaine Thuau and Bachir Berkane}, editor = {J{\o}rgen Staunstrup and Robin Sharp}, title = {Using the Language Lustre for Sequential Circuit Verification}, booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5} Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992}, series = {{IFIP} Transactions}, volume = {{A-5}}, pages = {81--96}, publisher = {North-Holland}, year = {1992}, timestamp = {Tue, 19 Feb 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip10-2/ThuauB92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip10-2/VerkestCM92, author = {Diederik Verkest and Luc J. M. Claesen and Hugo De Man}, editor = {J{\o}rgen Staunstrup and Robin Sharp}, title = {A Proof of the Non-Restoring Division Algorithm and its Implementation on the Cathedral-II {ALU}}, booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5} Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992}, series = {{IFIP} Transactions}, volume = {{A-5}}, pages = {173--192}, publisher = {North-Holland}, year = {1992}, timestamp = {Tue, 19 Feb 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip10-2/VerkestCM92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifip10-2/1992a, editor = {J{\o}rgen Staunstrup and Robin Sharp}, title = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5} Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992}, series = {{IFIP} Transactions}, volume = {{A-5}}, publisher = {North-Holland}, year = {1992}, isbn = {0-444-89335-0}, timestamp = {Tue, 19 Feb 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip10-2/1992a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.