Symmetry reduction for time Petri net state classes
- 期刊名称Science of Computer Programming
- 作者Bourdil, Pierre-Alain; Berthomieu, Bernard; Dal Zilio, Silvano; Vernadat, François
- 印刷ISSN0167-6423
- 文件大小1117.12KB
- 发表时间2016-9
- DOI10.1016/j.scico.2016.08.008
Efficient sessionsSivaramakrishnan, K.C.; Qudeisat, Mohammad; Ziarek, Lukasz; Nagaraj, Karthik; Eugster, Patrick · Science of Computer Programming · 2013
GLL parse-tree generationScott, Elizabeth; Johnstone, Adrian · Science of Computer Programming · 2013
Refactoring pattern matchingWang, Meng; Gibbons, Jeremy; Matsuda, Kazutaka; Hu, Zhenjiang · Science of Computer Programming · 2013
Modeling the Java Bytecode VerifierReynolds, Mark C. · Science of Computer Programming · 2013
Semantic mutation testingClark, John A.; Dan, Haitao; Hierons, Robert M. · Science of Computer Programming · 2013
Computational contractsScholliers, Christophe; Tanter, Éric; De Meuter, Wolfgang · Science of Computer Programming · 2015
EditorialBergstra, Jan · Science of Computer Programming · 2013
ForewordAleksy, Markus; Gitzel, Ralf; Krall, Andreas; Mössenböck, Hanspeter; Probst, Christian W.; Stephenson, Ben · Science of Computer Programming · 2013