Skip to content

Testing and Checking of Finite State Systems.

Mihalis Yannakakis

VenueBLATIN
Year2002
ProceedingsLATIN

Browse the full LATIN paper archive.