Alagar, S. Techniques to tackle state explosion in global predicate detection. IEEE Transactions on software engineering.
Citace podle Chicago (17th ed.)Alagar, S. "Techniques to Tackle State Explosion in Global Predicate Detection." IEEE Transactions on Software Engineering .
Citace podle MLA (9th ed.)Alagar, S. "Techniques to Tackle State Explosion in Global Predicate Detection." IEEE Transactions on Software Engineering, .
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..