An efficient verification algorithm for parallel controllers

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

1 Citation (Scopus)

Translated title of the contribution	An efficient verification algorithm for parallel controllers
Original language	English
Title of host publication	Unknown
Pages	302 - 397
Number of pages	95
Publication status	Published - 1994

Conference Proceedings/Title of Journal: Proc. European Design Automation Conf. EURO-DAC'94, Grenoble, France, 19-23 Sept

Handle.net

@inproceedings{cd948e6b7fcd44768c6783792b6942c4,

title = "An efficient verification algorithm for parallel controllers",

author = "K Bilinski and JM Saul and EL Dagless and Y Szajna",

note = "Conference Proceedings/Title of Journal: Proc. European Design Automation Conf. EURO-DAC'94, Grenoble, France, 19-23 Sept",

year = "1994",

language = "English",

isbn = "089796859",

pages = "302 -- 397",

booktitle = "Unknown",

}

TY - GEN

T1 - An efficient verification algorithm for parallel controllers

AU - Bilinski, K

AU - Saul, JM

AU - Dagless, EL

AU - Szajna, Y

N1 - Conference Proceedings/Title of Journal: Proc. European Design Automation Conf. EURO-DAC'94, Grenoble, France, 19-23 Sept

PY - 1994

Y1 - 1994

M3 - Conference Contribution (Conference Proceeding)

SN - 089796859

SP - 302

EP - 397

BT - Unknown

ER -