Well-abstracted transition systems: application to FIFO automata - Concepedia

Concepedia

Publication | Closed Access

Well-abstracted transition systems: application to FIFO automata

40

Citations

22

References

2003

Year

Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre

Information and Computation

Logical AutomatonFifo AutomataEngineeringAutomated ReasoningFormal MethodsAutomaton NetworkAutomaton OperationComputer ScienceFormal Verification

References

	Year	Citations

Page 1