P. Blysa

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1995

2 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		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]