Publication | Closed Access
Well-abstracted transition systems: application to FIFO automata
40
Citations
22
References
2003
Year
Logical AutomatonFifo AutomataEngineeringAutomated ReasoningFormal MethodsAutomaton NetworkAutomaton OperationComputer ScienceFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1