| 1998 |
|---|
| 5 | EE | Krzysztof Bilinski,
Erik L. Dagless:
Efficient Approach to Symbolic State Exploration of Complex Parallel Controllers.
ACSD 1998: 132-142 |
| 1996 |
|---|
| 4 | | Krzysztof Bilinski,
Erik L. Dagless:
High Level Synthesis of Synchronous Parallel Controllers.
Application and Theory of Petri Nets 1996: 93-112 |
| 3 | EE | Krzysztof Bilinski,
Erik L. Dagless,
Jonathan M. Saul:
Behavioral Synthesis of Complex Parallel Controllers.
VLSI Design 1996: 186-191 |
| 1994 |
|---|
| 2 | EE | Krzysztof Bilinski,
Erik L. Dagless,
Jonathan Saul,
Janusz Szajna:
An efficient verification algorithm for parallel controllers.
EURO-DAC 1994: 302-307 |
| 1 | EE | Krzysztof Bilinski,
Erik L. Dagless,
Jonathan M. Saul,
Marian Adamski:
Parallel controller synthesis from a Petri net specification.
EURO-DAC 1994: 96-101 |
