Author:
Rodrigues Pedro,Costa J. Félix,Siegelmann Hava T.
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Bradfield, J.: Verifying Temporal Properties of Systems with Applications to Petri Nets, PhD thesis, University of Edinburgh (1991)
2. Lect Notes Comput Sci;J. Bradfield,1991
3. Bradfield, J., Stirling, C.:,Local Model Checking for Infinite State Spaces. Theoretical Computer Science, Vol. 96. (1992) 157–174
4. Emerson, E. A., Lei, C.-L.: Efficient Model Checking in Fragments of the Propositional Mucalculus. Proceedings of the 1st IEEE Symposium on Logic in Computer Science, (1986) 267–278
5. Gilles, C., Miller, C., Chen, D., Chen, H., Sun, G., Lee, Y.: Learning and Extracting Finite State Automata with Second-Order Recurrent Neural Networks. Neural Computation, Vol. 4 3 (1992) 393–405
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献