Parameterized Reachability Analysis of the IEEE 1394 Root Contention Protocol using TReX

Sorry, there's nothing here.

1 Figure or Table

Cite this paper

@inproceedings{Sighireanu2001ParameterizedRA, title={Parameterized Reachability Analysis of the IEEE 1394 Root Contention Protocol using TReX}, author={Mihaela Sighireanu}, year={2001} }