Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
26 | Marie-Claude Gaudel, Gilles Bernot |
The Role of Formal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Foundations of Systems Specification ![In: Algebraic Foundations of Systems Specification, pp. 1-12, 1999, Springer, 978-3-642-64151-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Fernando Orejas |
Structuring and Modularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Foundations of Systems Specification ![In: Algebraic Foundations of Systems Specification, pp. 159-200, 1999, Springer, 978-3-642-64151-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Andrzej Tarlecki |
Institutions: An Abstract Framework for Formal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Foundations of Systems Specification ![In: Algebraic Foundations of Systems Specification, pp. 105-130, 1999, Springer, 978-3-642-64151-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Michel Bidoit, María Victoria Cengarle, Rolf Hennicker |
Proof Systems for Structured Specifications and Their Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Foundations of Systems Specification ![In: Algebraic Foundations of Systems Specification, pp. 385-433, 1999, Springer, 978-3-642-64151-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | David A. Basin, Bernd Krieg-Brückner |
Formalization of the Development Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Foundations of Systems Specification ![In: Algebraic Foundations of Systems Specification, pp. 521-562, 1999, Springer, 978-3-642-64151-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Hartmut Ehrig, Hans-Jörg Kreowski |
Refinement and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Foundations of Systems Specification ![In: Algebraic Foundations of Systems Specification, pp. 201-242, 1999, Springer, 978-3-642-64151-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Stephan Pfab, Harald Rueß, Sam Owre, Friedrich W. von Henke |
Towards Light-Weight Verification and Heavy-Weight Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 189-200, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Rudolf Berghammer, Yassine Lakhnech, Wolfgang Reif |
Formal Methods and Tools: Introduction and Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 1-17, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Malte Plath, Mark Ryan 0001 |
SFI: a Feature Integration Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 201-216, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Leszek Holenderski, Axel Poigné |
Synchronie Workbench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 123-135, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Zohar Manna, Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Mark C. Pichora, Henny B. Sipma, Tomás E. Uribe |
An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 174-188, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Bettina Buth |
PAMELA+PVS Verification of Sequential Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 62-76, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Georg Rock, Werner Stephan 0001, Andreas Wolpers |
Modular reasoning about structured TLA specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 217-229, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Peter Baumgartner 0001, Dorothea Schäfer |
Model Elimination with Simplification and its Application to Software Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 18-32, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Kay Fuhrmann, Jan Hiemer |
Formal Verification of Statemate-Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 92-107, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Ralf Behnke 0003, Rudolf Berghammer, Thorsten Hoffmann, Barbara Leoniuk, Peter Schneider |
Applications of the Rel View System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 33-47, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Wolfgang Goerigk, Thilo Gaul, Wolf Zimmermann |
Correct Programs without Proof? On Checker-Based Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 108-122, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Sergio Contini, Stefan Scheer, Marc Wilikens, G. de Cola, G. G. M. Cojazzi |
ASTRA: An Integrated Tool Set for Complex Systems Dependability Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 77-91, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Christoph Lüth, Einar W. Karlsen, Kolyang 0001, Stefan Westmeier, Burkhart Wolff |
Tool Integration in the UniForM-Workbench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 160-173, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Martin Lange, Martin Leucker, Thomas Noll 0001, Stephan Tobies |
Truth - A verification platform for concurrent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 150-159, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Wolfram Kahl |
The Term Graph Programming System HOPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 136-149, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Lydie du Bousquet, Farid Ouabdesselam, Ioannis Parissis, Jean-Luc Richier, Nicolas Zuanon |
Lutess: a testing environment for synchronous software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 48-61, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Egon Börger (eds.) |
Specification and validation methods ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and validation methods ![Oxford University Press, 0-19-853854-5 The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
26 | Guy E. Blelloch, K. Mani Chandy, Suresh Jagannathan (eds.) |
Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification of Parallel Algorithms ![DIMACS/AMS, 978-0-8218-0253-3 The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | David B. Skillicorn |
Building Categorical Data Type Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification of Parallel Algorithms ![In: Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994, pp. 65-73, 1994, DIMACS/AMS, 978-0-8218-0253-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Peter Wegner |
Beyond Computable Functions or Escape from the Turing Tarpit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification of Parallel Algorithms ![In: Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994, pp. 37-50, 1994, DIMACS/AMS, 978-0-8218-0253-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa |
ABCL/f: A Future-Based Polymorphic Typed Concurrent Object-Oriented Language- Its Design and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification of Parallel Algorithms ![In: Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994, pp. 275-291, 1994, DIMACS/AMS, 978-0-8218-0253-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | K. Mani Chandy, Beverly A. Sanders |
Compositional Specifications of Parallel Programs: NondeterministicData Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification of Parallel Algorithms ![In: Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994, pp. 51-63, 1994, DIMACS/AMS, 978-0-8218-0253-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Andrew A. Chien, Mark Straka, Julian Dolby, Vijay Karamcheti, John Plevyak, Xingbin Zhang |
A Case Study in Irregular Parallel Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification of Parallel Algorithms ![In: Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994, pp. 1-20, 1994, DIMACS/AMS, 978-0-8218-0253-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Leslie Lamport |
TLA in Pictures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification of Parallel Algorithms ![In: Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994, pp. 293-307, 1994, DIMACS/AMS, 978-0-8218-0253-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Shakil Ahmed, Nicholas Carriero, David Gelernter |
A Program Building Tool for Parallel Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification of Parallel Algorithms ![In: Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994, pp. 161-178, 1994, DIMACS/AMS, 978-0-8218-0253-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Anish Arora, Mohamed G. Gouda, George Varghese |
Constraint Satisfaction as a Basis for Designing Nonmasking Fault-Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification of Parallel Algorithms ![In: Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994, pp. 341-356, 1994, DIMACS/AMS, 978-0-8218-0253-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Kazunori Ueda |
The Mode System of Moded Flat GHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification of Parallel Algorithms ![In: Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994, pp. 259-274, 1994, DIMACS/AMS, 978-0-8218-0253-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Boleslaw K. Szymanski |
Specifying Parallel Programs in a Functional Language: The EPL Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification of Parallel Algorithms ![In: Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994, pp. 201-223, 1994, DIMACS/AMS, 978-0-8218-0253-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Michel Hurfin, Noël Plouzeau, Michel Raynal |
On Granularity of Events in Distributed Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification of Parallel Algorithms ![In: Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994, pp. 115-124, 1994, DIMACS/AMS, 978-0-8218-0253-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Lawrence Snyder |
A Practical Parallel Programming Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification of Parallel Algorithms ![In: Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994, pp. 143-160, 1994, DIMACS/AMS, 978-0-8218-0253-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification of Parallel Algorithms ![In: Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994, pp. xi-, 1994, DIMACS/AMS, 978-0-8218-0253-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
26 | Daniel Le Métayer |
Higher-Order Multiset Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification of Parallel Algorithms ![In: Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994, pp. 179-200, 1994, DIMACS/AMS, 978-0-8218-0253-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Nancy A. Lynch |
Atomic Transactions for Multiprocessor Programming: A Formal Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification of Parallel Algorithms ![In: Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994, pp. 125-142, 1994, DIMACS/AMS, 978-0-8218-0253-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Jayadev Misra |
A Discipline of Multiprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification of Parallel Algorithms ![In: Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994, pp. 357-381, 1994, DIMACS/AMS, 978-0-8218-0253-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | William F. McColl |
BSP Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification of Parallel Algorithms ![In: Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994, pp. 21-35, 1994, DIMACS/AMS, 978-0-8218-0253-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | |
Foreward. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification of Parallel Algorithms ![In: Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994, pp. ix-, 1994, DIMACS/AMS, 978-0-8218-0253-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
26 | Thomas DeBoni, John Feo, Hugh Caffey, Frederick H. Hausheer |
Developing Molecular Dynamics Simulation Codes Using Mixed Language Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification of Parallel Algorithms ![In: Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994, pp. 225-238, 1994, DIMACS/AMS, 978-0-8218-0253-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Yih-Kuen Tsay, Rajive L. Bagrodia |
Operational Implication of Conditional Unity Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification of Parallel Algorithms ![In: Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994, pp. 91-100, 1994, DIMACS/AMS, 978-0-8218-0253-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Susan Flynn Hummel |
On the Implementation of Set-based Parallel Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification of Parallel Algorithms ![In: Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994, pp. 101-114, 1994, DIMACS/AMS, 978-0-8218-0253-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Zohar Manna, Amir Pnueli |
Verification of parameterized programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and validation methods ![In: Specification and validation methods, pp. 167-230, 1993, Oxford University Press, 0-19-853854-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
26 | Egon Börger |
Annotated bibliography on evolving algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and validation methods ![In: Specification and validation methods, pp. 37-51, 1993, Oxford University Press, 0-19-853854-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
26 | Charles Wallace 0001 |
The semantics of the C++ programming language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and validation methods ![In: Specification and validation methods, pp. 131-164, 1993, Oxford University Press, 0-19-853854-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
26 | Yuri Gurevich |
Evolving algebras 1993: Lipari guide. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and validation methods ![In: Specification and validation methods, pp. 9-36, 1993, Oxford University Press, 0-19-853854-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
26 | Krzysztof R. Apt |
Program verification and Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and validation methods ![In: Specification and validation methods, pp. 55-95, 1993, Oxford University Press, 0-19-853854-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
26 | Miriam Leeser, Geoffrey Brown (eds.) |
Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware Specification, Verification and Synthesis ![Springer, 3-540-97226-9 The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Charles Rattray (eds.) |
Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK] ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![Springer, 3-540-19581-5 The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
26 | Behnam Banieqbal, Howard Barringer, Amir Pnueli (eds.) |
Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![Springer, 3-540-51803-7 The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Christian Lengauer, Bikash Sabata, Farshid Arman |
A Mechanically Derived Systolic Implementation of Pyramid Initialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware Specification, Verification and Synthesis ![In: Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings, pp. 90-105, 1989, Springer, 3-540-97226-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Paul Loewenstein |
Reasoning about State Machines in Higher-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware Specification, Verification and Synthesis ![In: Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings, pp. 67-89, 1989, Springer, 3-540-97226-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Steven D. Johnson |
Manipulating Logical Organization with System Factorizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware Specification, Verification and Synthesis ![In: Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings, pp. 260-281, 1989, Springer, 3-540-97226-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | David L. Dill |
Complete Trace Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware Specification, Verification and Synthesis ![In: Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings, pp. 224-243, 1989, Springer, 3-540-97226-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | George J. Milne |
Design for Verifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware Specification, Verification and Synthesis ![In: Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings, pp. 1-13, 1989, Springer, 3-540-97226-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Alain J. Martin |
The Design of a Delay-Insensitive Microprocessor: An Example of Circuit Synthesis by Program Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware Specification, Verification and Synthesis ![In: Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings, pp. 244-259, 1989, Springer, 3-540-97226-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Mary Sheeran |
Categories for the Working Hardware Designer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware Specification, Verification and Synthesis ![In: Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings, pp. 380-402, 1989, Springer, 3-540-97226-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Daniel Weise |
Constraints, Abstraction and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware Specification, Verification and Synthesis ![In: Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings, pp. 25-39, 1989, Springer, 3-540-97226-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Jeffrey J. Joyce |
Totally Verified Systems: Linking Verified Software to Verified Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware Specification, Verification and Synthesis ![In: Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings, pp. 177-201, 1989, Springer, 3-540-97226-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
machine-assisted theorem proving, safety-critical systems, higher-order logic, hardware verification, compiler correctness |
26 | Shiu-Kai Chin |
Combining Engineering Vigor with Mathematical Rigor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware Specification, Verification and Synthesis ![In: Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings, pp. 152-176, 1989, Springer, 3-540-97226-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Francois D. Carrez, Dominique Méry |
Temporal Specifications Directed by Grammar and Design of Process Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 410-427, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Pierre America |
The Interplay of Theory and Practice in a Parallel Object-Oriented Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 1-20, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Udo Thalmann |
Analysis of Estelle Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 428-438, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Elspeth Cusack |
Formal Design and Development of Ada Real-Time Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 71-83, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | W. David Crowe, Peter E. D. Strain-Clark |
A Concurrent Approach to the Towers of Hanoi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 595-610, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Jawahar Malhotra, Robert M. Shapiro, Scott A. Smolka, Alessandro Giacalone |
Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 140-152, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Mathai Joseph, Asis Goswami |
Semantics for Specifying Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 272-275, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Parosh Aziz Abdulla, Stefan Arnborg |
An Equivalence Decision Problem in Systolic Array Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 236-245, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | L. D. Natanson, W. B. Samson |
An Animator for CSP Implemented in HOPE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 575-594, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Antonella Di Stefano, Fabio Gibilisco, Orazio Mirabella |
Modeling of Distributed Problem Solving using Logic Modified Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 557-574, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | J. D. Parker |
Synchronization in Network Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 344-367, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Robin A. Nicholl |
Concurrency in Modula-2: Properties of the Language Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 439-454, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Paul A. J. Tilanus, Yan Yang |
Experience with LOTOS and Environment LOTTE on an ISDN Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 486-499, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Rosalind L. Ibrahim, John A. Ogden, Shirley A. Williams |
Should Concurrency be Specified? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 246-271, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Christopher M. Holt |
Dynamic Communication Links. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 184-195, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | E. Pascal Gribomont |
From Synchronous to Asynchronous Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 368-383, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Robert G. Clark |
The Design ad Development of Ada Real-Time Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 84-99, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Vincenza Carchiolo, Alberto Faro, Michele Malgeri |
A Tool for the Performance Analysis of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 121-139, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Kenneth R. Parker, Rainer A. Berger, Kong E. Cheng |
Protocol Analysis and Implementation using NPNs and SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 100-120, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Vangalur S. Alagar, Greetha Ramanathan |
Formal Environment and Tools Description for the Analysis of Real Time Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 196-235, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Wang Yi 0001 |
Specifying Processes in Terms of Their Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 276-293, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Bernhard Josko |
MCTL - An Extension of CTL for Modular Verification of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 165-187, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Edmund M. Clarke, Orna Grumberg |
The Model Checking Problem for Concurrent Systems with Many Similar Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 188-201, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Pierre Wolper |
On the Relation of Programs and Computations to Models of Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 75-123, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Colin Stirling |
Comparing Linear and Branching Time Temporal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 1-20, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Susanne Graf, Joseph Sifakis |
An Expressive Logic for a Process Algebra with Silent Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 44-61, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Ruurd Kuiper 0001 |
Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 295-303, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Behnam Banieqbal, Howard Barringer |
Temporal Logic with Fixed Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 62-74, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Dov M. Gabbay |
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 409-448, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Zhou Chaochen |
Specifying Communicating Systems with Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 304-323, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Roger Hale |
Using Temporal Logic for Prototyping: The Design of a Lift Controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 375-408, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Ron Koymans |
Specifying Message Passing Systems Requires Extending Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 213-223, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Samit Khosla, T. S. E. Maibaum |
The Prescription and Description of State Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 243-294, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich |
Abstract Object Types: A Temporal Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 324-350, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
26 | P. M. Melliar-Smith |
Extending Interval Logic to Real Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 224-242, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Shmuel Katz, Doron A. Peled |
Interleaving Set Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 21-43, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Moshe Y. Vardi |
Unified Verification Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 202-212, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|