Decidability of Invariant Validation for Paramaterized Systems.

Pascal Fontaine, E. Pascal Gribomont

Browse the full TACAS paper archive.