VIAF

Virtual International Authority File

Search

Bochmann, Gregor von 1941- National Library of Australia Sudoc [ABES], France National Library of Israel National Library and Archives of Québec National Library of the Netherlands German National Library National Diet Library, Japan Library of Congress/NACO

Bochmann, Gregor von. BIBSYS NUKAT Center of Warsaw University Library National Library of France

Bochmann, Gregor V., 1941- ISNI Library and Archives Canada

Bochmann, Gregor V. NII (Japan)

Gregor von Bochmann Wikidata

VIAF ID: 100288995 (Personal)

Permalink: http://viaf.org/viaf/100288995

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (27)

Open Section Close Section 5xx's: Related Names (12)

Open Section Close SectionWorks

Title Sources
Applications des methodes formelles aux developpements de systemes : en telecommunications, systemes VLSI et systemes de controle-commande temps reel = Application of formal methods to system development : telecommunications, VLSI and real-time computerized control systems Sudoc [ABES], France
Architecture of distributed computer systems National Library of Israel BIBSYS National Library of the Netherlands Sudoc [ABES], France National Diet Library, Japan xR Extended Relationships NUKAT Center of Warsaw University Library Library of Congress/NACO
Bunsan shori shisutemu nyūmon National Diet Library, Japan
CFIP'93, ingénierie des protocoles Sudoc [ABES], France National Library of France
Computer aided verification : fourth International workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings Sudoc [ABES], France National Library of Israel NUKAT Center of Warsaw University Library BIBSYS Library of Congress/NACO Library and Archives Canada National Library of the Netherlands
Computer aided verification / G. von Bochmann, D. K. Probst (eds.). - Berlin, 1992. Sudoc [ABES], France NUKAT Center of Warsaw University Library
Computer networks, architecture and applications : proceedings of the IFIP TC6 working conference on computer networks, architecture and applications, NETWORKS '92, Trivandrum, India, 28-29 October, 1992 Sudoc [ABES], France BIBSYS Library of Congress/NACO National Library of the Netherlands
Concepts for distributed systems design National Diet Library, Japan National Library of Israel NUKAT Center of Warsaw University Library BIBSYS xR Extended Relationships Library of Congress/NACO Library and Archives Canada National Library of the Netherlands
Data structuring facilities for interactive videotex systems Library and Archives Canada
Die Entwicklung der Sæugetierwirbel der hinteren Kørperregionen BIBSYS
Formal description techniques, VIII proceedings of IFIP TC 6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 Sudoc [ABES], France
Formalized specification and analysis of a virtual file system Sudoc [ABES], France
Investigating the realizability of collaboration-based service specifications BIBSYS
Langages formels National Library and Archives of Québec
Message Link protocol (MLP) : functional specification Sudoc [ABES], France
Mondel : an object-oriented specification language : rapport technique National Library and Archives of Québec Library and Archives Canada
n79126578 National Diet Library, Japan
A New approach to architectural modelling and dynamic analysis of information systems and business processes : rapport technique National Library and Archives of Québec Library and Archives Canada
Protocol specification, testing, and verification, VI proceedings of the IFIP WG 6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification Sudoc [ABES], France BIBSYS
Protocol test systems, V : proceedings of the IFIP TC6/WG6.1 Fifth Working Conference on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992 Sudoc [ABES], France BIBSYS Library of Congress/NACO National Library of the Netherlands
A sampler of formal definitions National Library of the Netherlands
SDL '99, the next millennium proceedings of the ninth SDL Forum, Montréal, Québec, Canada, 21-25, 1999 Sudoc [ABES], France National Library of the Netherlands
Testing of communicating systems : tools and techniques : IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29-September 1, 2000, Ottawa, Canada Sudoc [ABES], France Library of Congress/NACO
Using collaborations in the development of distributed services BIBSYS
分散処理システム入門 National Diet Library, Japan NII (Japan)

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (7)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (11)

Open Section Close Section About

Open Section Close Section History of VIAF ID:100288995 (20)