Home
Add
Open Access Books
Get on Google Play
Click here to donate your five minutes and submit the table of contents of a book.
Search from the table of contents of 2.5 million books
Every Word
Any Word
Exact Word
Exact Phrase
Criteria
Table of Contents
Chapter Authors
──────────
Books
Book Authors
Publisher
Publishing Date
──────────
Thesis
Thesis Authors
Field
Search
Search I can Access
Query minimum length 2 and maximum length 100
Advanced Search (Beta)
Home
> H. Tej
"H. Tej" appeared in Books and Chapters
Books
Chapters
10
20
30
50
100
200
500
entries per page
Filter:
Showing 0 to 0 of 0 entries
Book
Author(s)
Year
Publisher
No data available in table
Boook
Author(s)
Year
Publisher
Showing 0 to 0 of 0 entries
«
‹
›
»
10
20
30
50
100
200
500
entries per page
Filter:
Showing 1 to 2 of 2 entries
Chapter
Author(s)
Book
Book Authors
Year
Publisher
A corrected failure-divergence model for CSP in Isabelle/HOL
H. Tej
;
B. Wolff
FME ' 97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings
John Fitzgerald
;
Cliff B. Jones
;
Peter Lucas
1997
Springer Berlin Heidelberg
Compositionality in real-time shared variable concurrency
F. S. de Boer
;
H. Tej
;
W. -P. de Roever
;
M. van Hulst
Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings
Bengt Jonsson
;
Joachim Parrow
1996
Springer Berlin Heidelberg
Chapter
Author(s)
Book
Book Authors
Year
Publisher
Showing 1 to 2 of 2 entries
«
‹
1
›
»