P. A. Matthews

According to our database1, P. A. Matthews
  • authored at least 3 papers between 1986 and 1994.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1994
Direction of arrival of radio signals inside and outside buildings.
Proceedings of 44th IEEE Vehicular Technology Conference: Creating Tomorrow's Mobile Systems, 1994

1989
A Sharp Proof Rule for Procedures in wp Semantics.
Acta Inf., 1989

1986
Equivalence of the Gries and Martin Proof Rules for Procedure Calls.
Acta Inf., 1986


  Loading...