BibSonomy :: author :: Rossi :: 2004

actions for all displayed bookmarks:

export:

RSS, BibTeX, XML

sort:

criterion: date, title
order: ascending, descending

others:

bookmarks per page: 5 10 20 50 100

actions for all displayed publications:

export:

RSS, BibTeX, RDF, more...

sort:

criterion: date, title
order: ascending, descending
advanced...

others:

publications per page: 5 10 20 50 100

No matching items.

Formalization of UML state machines using temporal logic
Carlos Rossi, Manuel Enciso, and Inmaculada P. de Guzm'an. Software and Systems Modeling 3(1):31--54 (March 2004)
Carlos Rossi, Manuel Enciso, and Inmaculada P. de Guzm'an. Software and Systems Modeling 3(1):31--54 (March 2004)
4 years and 4 months ago
by leonardo
1
2004 semantics statecharts uml temporal_logic
URL DOI TeX
⟨⟨⟨1⟩⟩⟩

BibSonomy is offered by the KDE group of the University of Kassel, the DMIR group of the University of Würzburg, and the L3S Research Center, Germany. Privacy & Terms of Use - Contact