Pawel Rychwalski

According to our database, Pawel Rychwalski authored at least 1 paper in 2003.

Collaborative distances:

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

2003

UNIX STREAMS Generation from a Formal Specification.

Pawel Rychwalski, Jacek Wytrebowicz

Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003