P. Blysa

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1995

2 EE P. Blysa: SDT a tool for complex real-time systems. ICECCS 1995: 21-

1992

1 Gert Nilsson, P. Blysa: Tools for Object Oriented Formal Specification Technique. TOOLS (7) 1992: 349-358

1995
2	EE	P. Blysa: SDT a tool for complex real-time systems. ICECCS 1995: 21-
1992
1		Gert Nilsson, P. Blysa: Tools for Object Oriented Formal Specification Technique. TOOLS (7) 1992: 349-358

Coauthor Index

1 Gert Nilsson [1]