• Skip the Organizational structure panel
• Organizational structure

  On selecting a constituent part of MU the "Overview of publishing activities" page will be displayed with information relevant to the selected constituent part. The "Overview of publishing activities" page is not available for non-activated items.

  Masaryk University

  • Faculties
  • Law
  • Medicine
  • Science
  • Arts
  • Education
  • Economics
  • Informatics
  • Social Studies
  • Sports Studies

  • Institutes
  • Computer Science
  • CEITEC MU
  • Politica
  • Specialized Units
  • Hostels & Canteens
  • University Press
  • Telč Centre
  • UCB Management

  • Rector`s Office
  • Rectorate
  • Other Units
  • Archive
  • Language Centre
  • International Studies
  • Disabled Students
  • Technology Transfer
  • Biostatistics
  • Mendel Museum
  • CERIT
  • Civic Education
  • Project Team CEITEC

   

Publication details

Special Issue on Parallel and Distributed Verification - Foreword

Basic information
Original title:	Special Issue on Parallel and Distributed Verification - Foreword
Authors:	Luboš Brim, Martin Leucker

Further information
Citation:	BRIM, Luboš - LEUCKER, Martin. Special Issue on Parallel and Distributed Verification - Foreword. Formal Methods in System Design, Springer Netherlands, The Nederlands. ISSN 0925-9856, 2006, vol. 29, no. 2, pp. 115-116.
Original language:	English
Field:	Informatika
Type:	Article in Periodical
Keywords:	Distributed Verification

Foreword

Related projects:

• Automated Verification of Parallel and Distributed Systems
• Integrated approach to education of PhD students in the area of parallel and distributed systems
• Techniques for automatic verification and validation of software nad hardware systems
• Institute for Theoretical Computer Science
• Highly Parallel and Distributed Computing Systems