Author:
Chini Peter,Furbach Florian
Publisher
Springer International Publishing
Reference54 articles.
1. Abdulla, P.A., Iyer, S.P., Nylén, A.: Sat-solving the coverability problem for Petri nets. Formal Methods Syst. Des. 24(1), 25–43 (2004)
2. Bach, E., Shallit, J.: Algorithmic Number Theory, Volume I: Efficient Algorithms. MIT Press (1996)
3. Lecture Notes in Computer Science;D Beyer,2007
4. Blanchet, B., et al.: A static analyzer for large safety-critical software. In: PLDI, pp. 196–207. ACM (2003)
5. Brauer, A.: On a problem of partitions. Am. J. Math. 64(1), 299–312 (1942)