Shyamsundar Pullela

According to our database, Shyamsundar Pullela authored at least 2 papers between 1993 and 1994.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1994

Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization Circuit.

Paul S. Miner, Shyamsundar Pullela, Steven D. Johnson

Proceedings of the 13th Symposium on Reliable Distributed Systems, 1994

1993

Integrating Boolean Verification with Formal Derivation.

Bhaskar Bose, Steven D. Johnson, Shyamsundar Pullela

Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993