We prove a K-theoretic excess intersection formula for derived Artin stacks. When restricted to classical schemes, it gives a refinement and new proof of R. Thomasons formula.