Tetsuya Shirogane

According to our database1, Tetsuya Shirogane authored at least 2 papers in 1996.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

1996
Formal Verification and Evaluation of Execution Time in the Envelope Theory.
Proceedings of the Concurrency and Parallelism, 1996

Formal Analysis for Continous Systems Controlled by Programs.
Proceedings of the Concurrency and Parallelism, 1996


  Loading...