Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation

Autor
Clarisó, R.; Rodriguez, E.; Cortadella, J.
Tipus d'activitat
Article en revista
Revista
Lecture notes in computer science
Data de publicació
2005-06
Volum
3536
Pàgina inicial
188
Pàgina final
207
URL
http://www.springerlink.com/(jaamroafgdb1xf55zwqnk545)/app/home/contribution.asp?referrer=parent&backto=issue,12,27;journal,252,2293;linkingpublicationresults,1:105633,1 Obrir en finestra nova
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
LOGPROG - Lògica i Programació

Participants