Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Cover image
Principles of Distributed Systems 8th International Conference Opodis 2004 Grenoble France December 15-17, 2004 Revised Selected Papers by
  • Higashino, Teruo [editor]
Series: Lecture Notes in Computer Science ; No. 3544
Material type: Text Text
Language: English
Publication details: New York : Springer, c2005
Online access:
Availability: Items available for loan: Circulation Section (1)Location, call number: Circulation Section 004.36 PRI.
Automatic Analysis and Test Case Derivation for a Restricted Class of Lotos Expressions with Data Parameters by
  • Higashino, Teruo
  • Bochmann, Gregor V
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Request article
Pages