Formal Test Automation: the Conference Protocol with Phact.

A.W. Heerink, J. Feenstra, G.J. Tretmans

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	Testing of Communication Systems (TestCom 2000)
Place of Publication	Ottawa, Canada
Pages	211-220
Number of pages	10
Publication status	Published - 22 Feb 2000

Keywords

@inproceedings{a766df36c7244262b74a089c43f86593,

title = "Formal Test Automation: the Conference Protocol with Phact.",

keywords = "METIS-119657",

author = "A.W. Heerink and J. Feenstra and G.J. Tretmans",

year = "2000",

month = feb,

day = "22",

language = "Undefined",

isbn = "0-7923-7921-7",

pages = "211--220",

booktitle = "Testing of Communication Systems (TestCom 2000)",

}