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...