You have Guest access.
Log In
Volume 1 / 1997 - Volume 14 / 2012
Remove criteria to expand these results
Add criteria from below to refine these results
SPECIAL SECTION ON SPIN
Directed model checking with distance-preserving abstractions
Klaus Dräger, Bernd Finkbeiner and Andreas Podelski
2009, Volume 11, Number 1, Pages 27-37
Special section on advances in test automation – the evolution of TTCN-3
An approach to quality engineering of TTCN-3 test specifications
Helmut Neukirchen, Benjamin Zeiss and Jens Grabowski
2008, Volume 10, Number 4, Pages 309-326
SPECIAL SECTION CPN 06
Protos2CPN: using colored Petri nets for configuring and testing business processes
F. Gottschalk, W. M. P. van der Aalst, M. H. Jansen-Vullers and H. M. W. Verbeek
2008, Volume 10, Number 1, Pages 95-110
Discovering colored Petri nets from event logs
A. Rozinat, R. S. Mans, M. Song and W. M. P. van der Aalst
2008, Volume 10, Number 1, Pages 57-74
Special Section CPN 04/05
Modelling work distribution mechanisms using Colored Petri Nets
Maja Pesic and Wil M. P. van der Aalst
2007, Volume 9, Numbers 3-4, Pages 327-352
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info