|
Search the dblp DataBase
Atanas N. Parashkevov:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Simon Jolly, Atanas N. Parashkevov, Tim McDougall
Automated equivalence checking of switch level circuits . [Citation Graph (0, 0)][DBLP] DAC, 2002, pp:299-304 [Conf]
- Adriel Cheng, Atanas N. Parashkevov, Cheng-Chew Lim
Coverage Measurement for Software Application Level Verification using Symbolic Trajectory Evaluation Techniques. [Citation Graph (0, 0)][DBLP] DELTA, 2004, pp:237-244 [Conf]
- Adriel Cheng, Atanas N. Parashkevov, Cheng-Chew Lim
Coverage Measurement for Software Application Testing using Partially Ordered Domains and Symbolic Trajectory Evaluation Techniques. [Citation Graph (0, 0)][DBLP] DELTA, 2006, pp:481-487 [Conf]
- Atanas N. Parashkevov, Jay Yantchev
Space Efficient Reachability Analysis Through Use of Pseudo-Root States. [Citation Graph (0, 0)][DBLP] TACAS, 1997, pp:50-64 [Conf]
Search in 0.002secs, Finished in 0.002secs
|